修改web.xml格式