It seems that this only takes into account the possibility of Tomcat 7.  We support Tomcat 6 (although it's fading into the past, so I'm OK not supporting it here), but we also are starting to support Tomcat 8.  Will the binaries in Tomcat 7 work in Tomcat 8?