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