Updated jetty, tomcat7, and tomcat8