FileTypeWithDescriptor (@NotNull FileType type) { PluginDescriptor pluginDescriptor = PluginManagerCore.getPluginDescriptorOrPlatformByClassName(type.getClass().getName()); if (pluginDescriptor == null) pluginDescriptor = coreIdeaPluginDescriptor(); return new FileTypeWithDescriptor(type, pluginDescriptor); }