Make sure jetty configuration file works for jetty 9