repair web.xml