Switched over to Servlet 2.4 style web.xml def.