In class DataInputStream, the method ReadFully can hit eof and return without reading all the chars requested, BUT you can't find out how many chars it DID
read.

Perhaps we should add a

   int InputStream.readBlocking( byte[] ba, int offset, int length);