newer tomcat version available for download; changed this in bin\setup script