Util.readFully must be suppressed for the case that we have a zero length value, as it yields "java.io.EOFException: Unexpected end of input stream." when at eof.
Thanks for pointing out this problem. I fixed this by changing Util.readFully to handle a length of zero correctly. I believe this should be done anyways.
Util.readFully must be suppressed for the case that we have a zero length value, as it yields "java.io.EOFException: Unexpected end of input stream." when at eof.