return textBuffer.getContent();
return document.get();
	private static String edit(String string, List positions, TextEdit edit) throws CoreException {	    TextBuffer textBuffer= TextBuffer.create(string);		TextBufferEditor editor= new TextBufferEditor(textBuffer);		addEdits(editor, positions);		editor.add(edit);		editor.performEdits(null);				return textBuffer.getContent();	}