migrate web.xml