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