debe06289c
http://docs.oracle.com/javase/tutorial/java/nutsandbolts/datatypes.html carefully enough: a Java "char" is actually 16 bits, not 8. This commit was SVN r28087.