fixup copy of new jetty-http.xml file