restart tomcat if new war file deployed