tomcat tweaks