// ILaunchConfigurationDelegate2 interface:
public ILaunch getLaunch(ILaunchConfiguration configuration, String mode)
throws CoreException {
ILaunch launch = new Launch(configuration, CoverageTools.LAUNCH_MODE, null);
new CoverageLaunchInfo(launch);
return launch;
}