[jboss-user] [Installation, Configuration & DEPLOYMENT] - Using a header as a session identifier