updated jetty xml