Re: [gatein-dev] Allow shorter portal names?