fix tomcat version