update tomcat to come from more reliable source