initial commit of tomcat 7.0.42