[gatein-pull-requests] [gatein/gatein-portal] 205f6b: Rename "portal" profile to "4.0.0"