kill tomcat if it doesnt shut down cleaning, which now seems to be every time