Switch to a Debian-backed Tomcat 8