public CoverageLaunchInfo(ILaunch launch) {
id = Integer.toHexString(idcounter++);
instances.put(id, this);
configuration = launch.getLaunchConfiguration();
StateFiles statefiles = EclEmmaCorePlugin.getInstance().getStateFiles();
IPath base = statefiles.getLaunchDataFolder().append(id);
coveragefile = base.addFileExtension("ec"); //$NON-NLS-1$
statefiles.registerForCleanup(coveragefile);
propertiesjarfile = base.addFileExtension("jar"); //$NON-NLS-1$
statefiles.registerForCleanup(propertiesjarfile);
importonexit = true;
instrumentations = new ArrayList();
instrumentationpaths = new HashMap();
instances.put(launch, this);
}