change to use jetty.xml rather than hand-crafted code