TombstoneElementType (@NotNull IElementType type, @NotNull PluginDescriptor pluginDescriptor) { return new TombstoneElementType("tombstone of " + type +" ("+type.getClass()+") belonged to unloaded "+pluginDescriptor); }