public final Editor @NotNull [] getEditors(@NotNull Document document, @Nullable Project project) {
    return editors(document, project).toArray(Editor[]::new);
  }
public final Editor @NotNull [] getEditors(@NotNull Document document, @Nullable Project project)