ServletHolder gadgetServletHolder = new ServletHolder(new GadgetRenderingServlet());
context.addServlet(gadgetServletHolder, GADGET_BASE);
context.addFilter(AuthenticationServletFilter.class, GADGET_BASE, 0);
// Attach the html acceleration rendering servlet
ServletHolder accelServletHolder = new ServletHolder(new HtmlAccelServlet());
context.addServlet(accelServletHolder, ACCEL_BASE);
context.addFilter(AuthenticationServletFilter.class, ACCEL_BASE, 0);
// Attach the make-request servlet
ServletHolder makeRequestHolder = new ServletHolder(new MakeRequestServlet());