Added DummyServlet and Gretty plugin