Add Tomcat version number