have change to server.xml trigger tomcat refresh