if (annotation instanceof SourceLineAnnotation) { SourceLineAnnotation srcLine = (SourceLineAnnotation) annotation; String description = srcLine.getDescription(); return !(description.equals("SOURCE_LINE_DEFAULT") || description.equals("SOURCE_LINE_UNKNOWN"));
	private boolean isBoring(BugAnnotation annotation) {		// We ignore int annotations.		if (annotation.getClass() == IntAnnotation.class)			return true;		// Ignore source line annotations that aren't		// either default or unknown.		if (annotation instanceof SourceLineAnnotation) {			SourceLineAnnotation srcLine = (SourceLineAnnotation) annotation;			String description = srcLine.getDescription();			return !(description.equals("SOURCE_LINE_DEFAULT") || description.equals("SOURCE_LINE_UNKNOWN"));		}		return false;	}