678
713
* Called with {@code this.buffer} is empty to read more bytes from the
680
715
* either there will be at least one byte in the buffer when it returns
681
716
* or it will throw an exception. If {@code mustSucceed} is false,
682
717
* refillBuffer() returns false if no more bytes were available.