[jboss-user] [JBoss Portal] - session through cookie configuration