fix jetty plugin version