public CoverageLaunch(ILaunchConfiguration launchConfiguration,
Set<IPackageFragmentRoot> scope) {
super(launchConfiguration, CoverageTools.LAUNCH_MODE, null);
this.scope = scope;
final EclEmmaCorePlugin plugin = EclEmmaCorePlugin.getInstance();
this.agentServer = new AgentServer(this, plugin.getSessionManager(),
plugin.getExecutionDataFiles(), plugin.getPreferences());
}