if (!sourceAnnotation.getClassName().equals(src.getTitle())) return;
	private void highlight(JavaSourceDocument src, SourceLineAnnotation sourceAnnotation, Color color) {		int startLine = sourceAnnotation.getStartLine();		if (startLine == -1) return;		src.getHighlightInformation().setHighlight(startLine, sourceAnnotation.getEndLine(), color);	}