Use XPath and libxml2 to modify Tomcat's server.xml