Upgrading Jetty plugin to Jetty8