[gatein-dev] GateIn-Portal Build improvements