better tomcat killing