added the jetty plugin