copyEnd = Math.min(lineLength, endOffset - lineOffset);
int copyEnd = Math.min(lineLength, endOffset - lineOffset);
	public void writeLine(String line, int lineOffset) {		int lineLength = line.length();		int lineIndex;		int copyEnd;		int writeOffset = startOffset - lineOffset;				if (isClosed) {			SWT.error(SWT.ERROR_IO);		}				if (writeOffset >= lineLength) {			return;							// whole line is outside write range		}		else		if (writeOffset > 0) {			lineIndex = writeOffset;		// line starts before write start		}		else {			lineIndex = 0;		}		copyEnd = Math.min(lineLength, endOffset - lineOffset);		if (lineIndex < copyEnd) {			write(line.substring(lineIndex, copyEnd));		}			}