[jboss-user] [JBoss Portal] - Injecting user/role using http headers