refine web.xml