修改servlet的配置文件