code: private boolean hasRole(CmsRole role) {
  
          if (m_user != null) {
              return OpenCms.getRoleManager().hasRole(m_cms, m_user.getName(), CmsRole.VFS_MANAGER);
          }
          return false;
      }
docs: Checks if user, which gets edited, has given role.<p>
  
  @param role to be checked
  @return true if user has role (or a parent role)