element.getTextRange().adjustOffset(delta);
element.adjustOffset(delta);
	/* package */ void move(List children, int delta) {		if (children != null) {			for (Iterator iter= children.iterator(); iter.hasNext();) {				TextEdit element= (TextEdit)iter.next();				element.getTextRange().adjustOffset(delta);				move(element.getChildren(), delta);			}		}	}	