make sure tomcat uses utf-8 for uri decoding