Hardy Ferentschik Can we say which encoding is going to be used? Do we set the default econding somewhere or does it depends by the JVM used?
I'm not an expert about econding, it might be a stupid question.