Use servlet3 web.xml