if (!seenAlready.contains(bugInstance)) {
if (bugInstance.getPriority() <= FindBugs.lowestPriorityReported && seenAlready.add(bugInstance)) { switch(bugInstance.getPriority()) { case Detector.LOW_PRIORITY: System.out.print("L "); break; case Detector.NORMAL_PRIORITY: System.out.print("M "); break; case Detector.HIGH_PRIORITY: System.out.print("H "); break; }
	public void reportBug(BugInstance bugInstance) {		if (!seenAlready.contains(bugInstance)) {			System.out.println(bugInstance.getMessage());			seenAlready.add(bugInstance);		}	}