Update java_build.sh

Update to new version of tomcat. Old one not available in the usual place.