beginning (2004) but unused by this repo; Throw EOFException on short read rather than returning a smaller value, since the whole point is to guarantee a complete read