[jboss-user] [Tomcat, HTTPD, Servlets & JSP] - Changing the name of the JSessionID cookie?