Fix errors in web.xml