Fixed (finally) character encoding. I almost forgot that I had to modify server.xml in order to get encoding of the GET requests right. As for the POST requests, a filter handles that.