docs: public String getPoolName() {
  
          if (CmsStringUtil.isEmpty(m_poolName)) {
              // use default pool as pool name
              m_poolName = OpenCms.getSqlManager().getDefaultDbPoolName();
          }
          return m_poolName;
      }