tomcat: update to version 7.0.42 (fix issue #18).