修改web.xml配置文件