@Override
  protected void unregisterInTree() {
    if (!isValid()) return;
    // we store highlighters in MarkupModel
    getMarkupModel().removeHighlighter(this);
  }
@Override
  protected void unregisterInTree()