docs: public void removeExplorerTypeSettings(CmsModule module) {
  
          List<CmsExplorerTypeSettings> explorerTypes = module.getExplorerTypes();
          if ((explorerTypes != null) && (explorerTypes.size() > 0)) {
              Iterator<CmsExplorerTypeSettings> i = explorerTypes.iterator();
              while (i.hasNext()) {
                  CmsExplorerTypeSettings settings = i.next();
                  if (m_explorerTypeSettingsFromModules.contains(settings)) {
                      m_explorerTypeSettingsFromModules.remove(settings);
                      if (CmsLog.INIT.isInfoEnabled()) {
                          CmsLog.INIT.info(
                              Messages.get().getBundle().key(
                                  Messages.INIT_REMOVE_EXPLORER_TYPE_SETTING_1,
                                  settings.getName()));
                      }
                  }
              }
              // reset the list of all explorer type settings
              initExplorerTypeSettings();
          }
      }