added jetty plugin again :)