Using Jetty 7 instead of the default (Jetty 6)