reporter.bugCollection.readXML(file);
reporter.bugCollection.readXML(file, classNameToSourceFileMap);
    public void loadBugsFromFile(File file) throws IOException, org.dom4j.DocumentException {        reporter.bugCollection.readXML(file);    }