}
protected void addAnnotation(Annotation anno) {
synchronized(DebuggerAnnotation.class) {
OffsetsBag bag = getHighlightsBag(doc);
bag.addHighlight(start, end, attrs);
}
}
protected void removeAnnotation(Annotation anno) {
synchronized(DebuggerAnnotation.class) {