MethodAnnotation method = bugInstance.getPrimaryMethod(); if (method != null) System.out.println("\t" + method.toString());
	private static void dumpBug(BugInstance bugInstance, String filename) {		System.out.println("In " + filename);		System.out.println(bugInstance.getMessage());		System.out.println("\t" + bugInstance.getAbbrev());		SourceLineAnnotation srcLine = bugInstance.getPrimarySourceLineAnnotation();		if (srcLine != null)			System.out.println("\t" + srcLine.toString());		System.out.println(bugInstance.getAnnotationText());	}