fixed tomcat URL so old versions work