public void launch(ILaunchConfiguration configuration, String mode,
ILaunch launch, IProgressMonitor monitor) throws CoreException {
monitor.beginTask(NLS.bind(CoreMessages.LaunchingTask, configuration
.getName()), 2);
IRuntimeClasspathProvider provider = JavaRuntime
.getClasspathProvider(configuration);
ICoverageLaunchInfo info = CoverageTools.getLaunchInfo(launch);
if (info == null) {
// Must not happen as we should have created the launch
throw new CoreException(EclEmmaStatus.MISSING_LAUNCH_INFO_ERROR.getStatus(null));