Fixing tomcat version