}
public static ICoverageSession createCoverageSession(String description,
IInstrumentation[] instrumentations, IPath[] coveragedatafiles,
ILaunchConfiguration launchconfiguration) {
return new CoverageSession(description, instrumentations, coveragedatafiles,
launchconfiguration);
}