Fiddling with Tomcat 8.0.5