[jboss-user] [JBoss Portal] - Re: Logout: Invalidate Session and resetting Principal