[gatein-pull-requests] [gatein/gatein-portal] 1eecce: Minor rename