docs: @Override
      public boolean isUserInRole(String role) {
          ServletRESTRequestImpl ret = castRequest();
          if (ret != null)
              return ret.isUserInRole(role);
          return false;
      }