.addMapping("/exact.txt"),
new ServletInfo("HtmlServlet", RequestPathServlet.class)
.addMapping("*.html")
)
.addFilters(
new FilterInfo("header", SetHeaderFilter.class)
.addInitParam("header", "Filter").addInitParam("value", "true"),
new FilterInfo("all", SetHeaderFilter.class)
.addInitParam("header", "all").addInitParam("value", "true"))
.addFilterUrlMapping("header", "*.txt", DispatcherType.REQUEST)
.addFilterUrlMapping("all", "/*", DispatcherType.REQUEST);
DeploymentManager manager = container.addDeployment(builder);
manager.deploy();