for (int i= 0; i != fPositions.length; i++) fPositions[i] += positionDelta[i];
	public String indentate(String string) {				StringBuffer buffer = new StringBuffer(string.length());				String indentation= TextUtilities.createIndentString(fIndentationLevel);		String[] lines= splitIntoLines(string);		int position= 0;		for (int i= 0; i != lines.length; i++) {			buffer.append(indentation);			buffer.append(lines[i]);						if (fPositions != null) {				for (int j= 0; j != fPositions.length; j++)							if (fPositions[j] >= position)						fPositions[j] += indentation.length();			}						position += lines[i].length();		}				return buffer.toString();			}