stop tomcat by kill