Store Tomcat version in own value, for easy replacement

We needed to setup this with a Tomcat 7 and had to change all this values. It maybe handy to do this just in one place.