setting tomcat version right