code: public Principal pushRole(Principal user, String role)
      {
          if (user==null)
              user=new User();
          
          return new WrappedUser(user,role);
      }
docs: /* ------------------------------------------------------------