Fix web.xml charset