@Override
    public @Nullable Action preVisitEDT(@NotNull TreePath path) {
      return promise.isCancelled() ? TreeVisitor.Action.SKIP_SIBLINGS : null;
    }
@Override
    public @Nullable Action preVisitEDT(@NotNull TreePath path)