reporter.bugCollection.writeXML(file, classNameToSourceFileMap);
reporter.bugCollection.writeXML(file, reporter.getClassToSourceMap());
    public void saveBugsToFile(File file) throws IOException {	reporter.bugCollection.writeXML(file, classNameToSourceFileMap);    }