public BPDebugTarget startVerifier() {
   Vector<String> modelNames = new Vector<String>();
   modelNames.add("Signal Param Receiver");
   modelNames.add("Signal Param Sender");
   BPTestLaunchConfiguration bplc =
       new BPTestLaunchConfiguration(projectName, modelNames, new Vector<Ooaofooa>());
   Launch testLaunch = new Launch(bplc, "debug", null);
   BPLaunchDelegate bpld = new BPLaunchDelegate();
   try {
     // TODO Not currently working, because BPTestLaunchConfiguration
     // getAttribute(String, Map) only works for domains.
     bpld.launch(bplc, "debug", testLaunch, new NullProgressMonitor());
   } catch (CoreException ce) {
     fail(ce.toString());
   }
   BPDebugTarget bpdbt = null;
   while (bpdbt == null || bpdbt.isTerminated()) {
     try {
       Thread.sleep(1000);
     } catch (InterruptedException ie) {
       // do nothing
     }
     bpdbt = (BPDebugTarget) testLaunch.getDebugTarget();
   }
   return bpdbt;
 }
 private void performDummyLaunch(ILaunchConfiguration configuration) throws Exception {
   Launch launch = new Launch(configuration, "run", new MavenSourceLocator());
   try {
     launcher.launch(configuration, "run", launch, new NullProgressMonitor());
   } finally {
     launch.launchRemoved(launch);
   }
 }