proper shutdown if reloading tomcat