revise web.xml