if (fBufferOffset + fBuffer.length > fRangeLength)  fBufferLength= fRangeLength - fBufferOffset;  else  fBufferLength= fBuffer.length;
if (fRangeLength != fDocument.getLength()) { fBufferLength= fBuffer.length > fRangeLength ? fRangeLength : fBuffer.length; } else {   if (fBufferOffset + fBuffer.length > fRangeLength) fBufferLength= fRangeLength - fBufferOffset; else fBufferLength= fBuffer.length; }
	private final void updateBuffer(int offset) {		fBufferOffset= offset;		if (fBufferOffset + fBuffer.length > fRangeLength)			fBufferLength= fRangeLength - fBufferOffset;		else			fBufferLength= fBuffer.length;						try {			final String content= fDocument.get(fBufferOffset, fBufferLength);			content.getChars(0, fBufferLength, fBuffer, 0);					} catch (BadLocationException e) {		}	}