code: public void setDbWorkUser(String dbWorkUser) {
  
          setExtProperty(CmsDbPoolV11.KEY_DATABASE_POOL + '.' + getPool() + '.' + CmsDbPoolV11.KEY_POOL_USER, dbWorkUser);
      }
docs: Sets the user of the database to the given value.<p>
  
  @param dbWorkUser the database user used by the opencms core