Small tests with Java encoding and UTF-32