private synchronized boolean removeChangedHighlighters(int lineNumber, int lastLineNumber, Document document) {
    var rangeHighlighters = getOrCreateHighlighters(false);
    if (rangeHighlighters == null) return false;
    var changeRange = new TextRange(document.getLineStartOffset(lineNumber), document.getLineEndOffset(lastLineNumber));
    for (var it = rangeHighlighters.iterator(); it.hasNext(); ) {
      final RangeHighlighter highlighter = it.next();
      if (!highlighter.isValid() || highlighter.getTextRange().intersects(changeRange)) {
        ApplicationManager.getApplication().invokeLater(() -> highlighter.dispose());
        it.remove();
      }
    }
    return true;
  }
private synchronized boolean removeChangedHighlighters(int lineNumber, int lastLineNumber, Document document)