changing tomcat_version to a number