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));
}
info.instrument(new SubProgressMonitor(monitor, 1), hasInplaceInstrumentation(configuration));
if (monitor.isCanceled()) {
return;
}
createPropertiesJAR(configuration, info);
ILaunchConfigurationWorkingCopy wc = configuration.getWorkingCopy();