Contributors to 2014-09-26 Tomcat error on Ubuntu 14.04