[#master: Change namespace in web.xml]