update version of tomcat