StringBuffer buf = new StringBuffer();
StringBuffer buffer = new StringBuffer();
String getFullLine(int index) {	int start = lines[index][0];	int length = lines[index][1];	int end = start + length - 1;	if (!gapExists() || (end < gapStart) || (start >= gapEnd)) {		// line is before or after the gap		return new String(textStore, start, length);	} else {		// gap is in the specified range, strip out the gap		StringBuffer buf = new StringBuffer();		int gapLength = gapEnd - gapStart;		buf.append(textStore, start, gapStart - start);		buf.append(textStore, gapEnd, length - gapLength - (gapStart - start));		return buf.toString();	}}