[jboss-user] [JBoss Portal] - Getting user credentials from portal authentication