Restart tomcat when config file changes