case Detector.EXP_PRIORITY: outputStream.print("E "); break;
	protected void printBug(BugInstance bugInstance) {		switch (bugInstance.getPriority()) {		case Detector.LOW_PRIORITY:			outputStream.print("L ");			break;		case Detector.NORMAL_PRIORITY:			outputStream.print("M ");			break;		case Detector.HIGH_PRIORITY:			outputStream.print("H ");			break;		}		BugPattern pattern = bugInstance.getBugPattern();		if (pattern != null) {			String categoryAbbrev = categoryMap.get(pattern.getCategory());			if (categoryAbbrev != null)				outputStream.print(categoryAbbrev);		}		SourceLineAnnotation line =		        bugInstance.getPrimarySourceLineAnnotation();		if (line == null)			outputStream.println(bugInstance.getMessage());		else			outputStream.println(bugInstance.getMessage()			        + "  " + line.toString());	}