else if (isBug) { System.out.println("Unknown severity for bug:"); dumpBug(bugInstance); continue; }
	public static void main(String[] argv) throws Exception {		if (argv.length != 1) {			System.err.println("Usage: " + CategorizeBugs.class.getName() + " <results file>");			System.exit(1);		}		DetectorFactoryCollection.instance(); // load plugins		BugCollection bugCollection = new SortedBugCollection();		bugCollection.readXML(argv[0], new Project());		Iterator<BugInstance> i = bugCollection.iterator();		while (i.hasNext()) {			BugInstance bugInstance = i.next();			String annotation = bugInstance.getAnnotationText();			if (annotation.equals(""))				continue;			boolean isBug = annotation.indexOf("BUG") >= 0 && annotation.indexOf("NOT_BUG") < 0;			boolean isNotBug = annotation.indexOf("NOT_BUG") >= 0;			if (!isBug && !isNotBug) {				System.out.println("Unknown status for bug:");				dumpBug(bugInstance);				continue;			}			int severity = -1;			if (annotation.indexOf("BENIGN") >= 0)				severity = BENIGN;			else if (annotation.indexOf("DUBIOUS") >= 0)				severity = DUBIOUS;			else if (annotation.indexOf("SERIOUS") >= 0)				severity = SERIOUS;			else if (isBug) {				System.out.println("Unknown severity for bug:");				dumpBug(bugInstance);				continue;			}			updateStats(bugInstance.getType(), statsByType, isBug, severity);			updateStats(bugInstance.getAbbrev(), statsByCode, isBug, severity);		}		dumpStats("Statistics by bug pattern", statsByType);		dumpStats("Statistics by bug code", statsByCode);	}