private TextEdit doTextReplace(int offset, int len, String insertString, String description) {
final TextEdit doTextReplace(int offset, int len, String insertString, String description) {
	private TextEdit doTextReplace(int offset, int len, String insertString, String description) {		TextEdit edit= SimpleTextEdit.createReplace(offset, len, insertString);		fCurrentEdit.add(edit);		if (description != null) {			addDescription(description, edit);		}		return edit;	}