void (@NotNull CustomLibraryTableDescription extension, @NotNull PluginDescriptor pluginDescriptor) { LibraryTableBase table = customLibraryTables.remove(extension.getTableLevel()); if (table != null) { Disposer.dispose(table); } }