modify tomcat download url