Store Tomcat version in own value, for easy replacement