@Override
        public void extensionRemoved(@NotNull CodeStyleSettingsProvider extension,
                                     @NotNull PluginDescriptor pluginDescriptor) {
          if (!extension.hasSettingsPage() && getDefaultLanguage() == extension.getLanguage()) {
            final String tabTitle = extension.getConfigurableDisplayName();
            for (int i = 0; i < myTabbedPane.getTabCount(); i++) {
              if (myTabbedPane.getTitleAt(i).equals(tabTitle)) {
                myTabbedPane.removeTabAt(i);
                tabs.stream().filter(
                  panel -> panel.getTabTitle().equals(tabTitle)
                ).findFirst().ifPresent(panel -> tabs.remove(panel));
                return;
              }
            }
          }
        }
@Override
        public void extensionRemoved(@NotNull CodeStyleSettingsProvider extension,
                                     @NotNull PluginDescriptor pluginDescriptor)