Text encoding

BufferedDataIterator allows reading either a char encoded in a single byte with
char ch = getChar8();
or a char encoded in 2 bytes:
char ch = getChar16();

BufferedLineReader assumes that chars are encoded in a single byte.

BinaryFileWriter writes char as 2 bytes.