}
WebAppConfigurationBuilder wxmlb = new WebAppConfigurationBuilder();
wxmlb.addContextParam("global.foo1", "global.bar1");
wxmlb.addContextParam("global.foo2", "global.bar2");
wxmlb.unsafe_addServlet("myservlet", EXAMPLE_CODE_PACKAGE + "." + EXAMPLE_CODE_CLASS, "*.cgi", "chocolate", "good");
File webxmlfile = new File(webinf, "web.xml");
PrintWriter webxml = new PrintWriter(webxmlfile);
try {
WebXmlDump.dump(wxmlb.getConfiguration(), webxml);
} finally {