revving tomcat version and other small hacks