}
// 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);