fix tomcat download url