introduced support of /etc/jetty.xml