public void removeLineHighlight(Object tag){
  if (tag instanceof LineHighlightInfo) {
    lineHighlights.remove(tag);
    repaintLine((LineHighlightInfo)tag);
  }
}

public void removeLineHighlight ( Object tag ) { if ( tag instanceof LineHighlightInfo ) { lineHighlights . remove ( tag ) ; repaintLine ( ( LineHighlightInfo ) tag ) ; } }
removes a line highlight .
