public TextRange getNewTextRange(TextEdit[] edits) { if (!fKeepExecutedTextEdits || fCopier == null) return null;  List copies= new ArrayList(edits.length); for (int i= 0; i < edits.length; i++) { TextEdit copy= fCopier.getCopy(edits[i]); if (copy != null) { copies.add(copy); } } return TextEdit.getTextRange(copies);
public TextRange getNewTextRange(TextEdit edit) { TextEdit result= getExecutedTextEdit(edit); if (result == null) return null; return result.getTextRange().copy();
	public TextRange getNewTextRange(TextEdit[] edits) {		if (!fKeepExecutedTextEdits || fCopier == null)			return null;						List copies= new ArrayList(edits.length);		for (int i= 0; i < edits.length; i++) {			TextEdit copy= fCopier.getCopy(edits[i]);			if (copy != null) {				copies.add(copy);			}		}		return TextEdit.getTextRange(copies);	}	