[gatein-pull-requests] [gatein/gatein-portal] 136113: Fix broken build