private void removeHighlighter() {
    if (myHighlighter != null && myHighlighter.isValid()) {
      myHighlighter.dispose();
      myHighlighter = null;
      editor = null;
    }
  }
private void removeHighlighter()