correcting build to download tomcat7.0.42