modify the configuration of web.xml