default void processPluginsToMigrate(
    @NotNull Path newConfigDir,
    @NotNull Path oldConfigDir,
    @NotNull List<IdeaPluginDescriptor> pluginsToMigrate,
    @NotNull List<IdeaPluginDescriptor> pluginsToDownload
  ) { }
default void processPluginsToMigrate(
    @NotNull Path newConfigDir,
    @NotNull Path oldConfigDir,
    @NotNull List<IdeaPluginDescriptor> pluginsToMigrate,
    @NotNull List<IdeaPluginDescriptor> pluginsToDownload
  )