Hi Chris,
Thank you for the confirmation. We're using Jboss Portal mainly because of the amount of time investmented...dev, testing, etc.
I've heard some good things about GateIn, so certainly in the future I'm sure it will be considered!
Regards,
Jonathan