docs: public CmsFile getFile() {
  
          if (m_file == null) {
              try {
                  m_file = m_cms.readFile(m_resource);
              } catch (CmsException e) {
                  // this usually should not happen, as the resource already has been read by the current user
                  // and we just upgrade it to a file
                  throw new CmsRuntimeException(
                      Messages.get().container(Messages.ERR_FILE_READ_1, m_resource.getRootPath()),
                      e);
              }
          }
          return m_file;
      }