Dear one as of my knowledge you have to restart your server after each change of web.xml