tomcat bugfixes