Use jettywrapper for the Jetty generator