code: @Override
      public void init() throws ServletException {
          super.init();
  
          // GET
          operations.setOperation(ServletOperationSet.Method.GET, Extension.json,
                  Operation.accessPolicies, new GetAccessPolicies());
          operations.setOperation(ServletOperationSet.Method.GET, Extension.json,
                  Operation.allPolicies, new GetAllAccessPolicies());
          operations.setOperation(ServletOperationSet.Method.GET, Extension.html,
                  Operation.allPolicies, new GetHtmlAccessRules());
          operations.setOperation(ServletOperationSet.Method.GET, Extension.json,
                  Operation.supportedPrivileges, new SupportedPrivileges());
          operations.setOperation(ServletOperationSet.Method.GET, Extension.json,
                  Operation.restrictionNames, new RestrictionNames());
          operations.setOperation(ServletOperationSet.Method.GET, Extension.json,
                  Operation.principals, new GetPrincipals());
  
          // POST
          operations.setOperation(ServletOperationSet.Method.POST, Extension.json,
                  Operation.reorder, new ReorderOperation());
  
          // PUT
          operations.setOperation(ServletOperationSet.Method.PUT, Extension.json,
                  Operation.accessPolicy, new PutAccessPolicy());
  
          // DELETE
          operations.setOperation(ServletOperationSet.Method.DELETE, Extension.json,
                  Operation.accessPolicy, new RemoveAccessPolicy());
      }
docs: setup of the servlet operation set for this servlet instance