getTextRange().adjustLength(delta);
adjustLength(delta);
	/* package */ void updateTextRange(int delta, List executedEdits) {		for (Iterator iter= executedEdits.iterator(); iter.hasNext();) {			((TextEdit)iter.next()).predecessorExecuted(delta);		}		getTextRange().adjustLength(delta);		updateParents(delta);	}