static @NotNull IdeaPluginDescriptor coreIdeaPluginDescriptor() {
    return Objects.requireNonNull(PluginManagerCore.getPlugin(PluginManagerCore.CORE_ID), "The core plugin is amiss");
  }
static @NotNull IdeaPluginDescriptor coreIdeaPluginDescriptor()