extract web.xml