public String toString(int offset, int length) {
//
// REVISIT - we need to cache this operation !!
//
if (fStringCharArray == null)
fStringCharArray = new ChunkyCharArray(fStringPool);
int newOffset = fStringCharArray.length();
append(fStringCharArray, offset, length);
int newLength = fStringCharArray.length() - newOffset;
int stringIndex = fStringCharArray.addString(newOffset, newLength);
return fStringPool.toString(stringIndex);