Update to Tomcat 7.0.42
Fix specification of gpg plugin key
Avoid newly deprecated Tomcat method