Jetty plugin version.