@Deprecated(forRemoval = true)
  // used in third-party plugins
  public List<Module> importProjects() {
    scheduleUpdateAllMavenProjects(MavenSyncSpec.full("MavenProjectsManager.importProjects"));
    return List.of();
  }
@Deprecated(forRemoval = true)
  // used in third-party plugins
  public List<Module> importProjects()