Fixed an xmlns declaration in web.xml for push. #14096

Change-Id: If72b60adfe56138b7d234b4c8451b41459fe31fa