question: Object addMarkedOccurrenceHighlight ( int start , int end , MarkOccurrencesHighlightPainter p ) throws BadLocationException { Document doc = textArea . getDocument ( ) ; TextUI mapper = textArea . getUI ( ) ; HighlightInfo i = new LayeredHighlightInfo ( ) ; i . painter = p ; i . p0 = doc . createPosition ( start ) ; i . p1 = doc . createPosition ( end - 1 ) ; markedOccurrences . add ( i ) ; mapper . damageRange ( textArea , start , end ) ; return i ; }
target:  Adds a special "marked occurrence" highlight.