[gatein-pull-requests] [gatein/gatein-portal] 6debb1: GTNPORTAL-3287: Fix Portal.hasPermission to work w...