[jboss-user] [JBoss Portal] - Obtaining user identity from PortalRuntimeContext?