if (fBufferOffset + fBufferLength == fDocument.getLength())
int end= fBufferOffset + fBufferLength; if (end == fDocument.getLength() || end == fRangeOffset + fRangeLength)
	public final int read() {		if (fOffset == fBufferLength) {			if (fBufferOffset + fBufferLength == fDocument.getLength())				return EOF;			else {				updateBuffer(fBufferOffset + fBufferLength);				fOffset= 0;			}		}		return fBuffer[fOffset++];	}