[jboss-user] [JBoss Portal] - Retrieving credentials from session for single-sign-on.