return;
}
// Start agent server
final CoverageLaunch coverageLaunch = (CoverageLaunch) launch;
final AgentServer server = coverageLaunch.getAgentServer();
server.start();
// Delegate to run mode launcher
final AgentArgumentSupport argSupport = new AgentArgumentSupport();
final ILaunchConfiguration adjusted = argSupport.addArgument(
server.getPort(), configuration);
launchdelegate.launch(adjusted, DELEGATELAUNCHMODE, launch,
new SubProgressMonitor(monitor, 1));
monitor.done();
}