void (@NotNull ClassLoader loader, @NotNull PluginDescriptor pluginDescriptor) { for (int i = 0; i < ourRegistry.length; i++) { IElementType type = ourRegistry[i]; if (type != null && type.getClass().getClassLoader() == loader) { ourRegistry[i] = TombstoneElementType.create(type, pluginDescriptor); } } }