What happened with the other web.xml commit??