repair missing web.xml