code: public boolean isUserInRole(String role)
      {
          if (_servletHolder!=null)
              role=_servletHolder.getUserRoleLink(role);
          return _httpRequest.isUserInRole(role);
      }
docs: /* ------------------------------------------------------------