Now with a servlet configured via web.xml