migrate to using jetty 9 (#11)