fix stupid tomcat default encoding