http get encoding with tomcat