web.xml doesn't really like utf-8