to further understand the Java string encoding