[jboss-user] [JBoss Portal Users] - Session Expiry Handling