args.add("-Dinsert=" + aspect.getFullyQualifiedName());
if (txId != null) args.add("-DtxId=" + txId);
vmConfig.setVMArguments((String[]) args.toArray(new String[] {}));
ILaunch launch = new Launch(null, ILaunchManager.RUN_MODE, null);
vmRunner.run(vmConfig, launch, null);
DebugPlugin.getDefault().getLaunchManager().addLaunch(launch);
}
/**
* @param project Project for which the classpath is computed