Initial web.xml.