public void removeAllLineHighlights(){
  if (lineHighlights != null) {
    lineHighlights.clear();
    textArea.repaint();
  }
}

public void removeAllLineHighlights ( ) { if ( lineHighlights != null ) { lineHighlights . clear ( ) ; textArea . repaint ( ) ; } }
removes all line highlights .
