@RequiresEdt
  protected void destroyHighlighters() {
    for (RangeHighlighter highlighter : myHighlighters) {
      highlighter.dispose();
    }
    myHighlighters.clear();
  }
@RequiresEdt
  protected void destroyHighlighters()