DataInputStream.java (readChar): Use readFully.