JETTY: Jetty plugin and jetty standalone