@Override
  public void documentChanged(@NotNull DocumentEvent event) {
    if (!project.isDisposed()) {
      listener.documentChanged(event);
    }
  }
@Override
  public void documentChanged(@NotNull DocumentEvent event)