private synchronized void removeHighlighters() {
    var editor = myEditor;
    if (editor == null || editor.isDisposed()) return;
    var highlighters = editor.getUserData(COVERAGE_HIGHLIGHTERS);
    if (highlighters != null) {
      for (var highlighter : highlighters) {
        ApplicationManager.getApplication().invokeLater(() -> highlighter.dispose());
      }
      editor.putUserData(COVERAGE_HIGHLIGHTERS, null);
    }
  }
private synchronized void removeHighlighters()