++stats[judgment];
	protected void match(BugInstance bugInstance, String filename) throws Exception {		Set<String> words = bugInstance.getTextAnnotationWords();		if (words.contains("BUG")) {			if (words.contains("HARMLESS"))				++numHarmless;			else				++numSerious;		} else			++numFalse;		++total;	}