update to Tomcat 7.0.54 plugin