More web.xml tweaking.