if (monitor.isCanceled()) {
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(