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