fix server.xml for tomcat 8