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