force tomcat to restart during deployment