[jboss-user] [Tomcat, HTTPD, Servlets & JSP] - TLS extension for hostnames