web.xml file. Servlet filter snippet (between lines 9 and 19) uncommented.