Jenkins 1.558 and Tomcat 7.0.53