Updating tomcat_version