deb: merged jetty.xml changes into jetty.xml for deb package