@Override
    public void editorReleased(@NotNull EditorFactoryEvent event) {
      Editor editor = event.getEditor();
      Project project = editor.getProject();
      if (project == null) return;
      CoverageDataAnnotationsManager manager = project.getServiceIfCreated(CoverageDataAnnotationsManager.class);
      if (manager == null) return;

      Future<?> request = manager.myRequests.remove(editor);
      if (request != null) {
        request.cancel(true);
      }

      manager.myExecutor.execute(() -> manager.clearEditor(editor));
    }
@Override
    public void editorReleased(@NotNull EditorFactoryEvent event)