Fix an UTF-8 problem with tomcat 6.