Re: [gatein-dev] Configuration of default portal in GateIn CR1