docs: public void setPoolName(String poolName) {
  
          if (m_frozen) {
              throw new CmsRuntimeException(Messages.get().container(Messages.ERR_CONFIG_SUBSCRIPTIONMANAGER_FROZEN_0));
          }
          m_poolName = poolName;
      }