web.xml merge