change tomcat version