Looks like the template for server.xml is unnecessary.