Buffer should EOF if it cannot fulfill readFully.

Prior to this change an ArrayIndexOutOfBounds exception would be thrown in side the write call to which readFully delegates.