Bug 22467 TextEdits: replace != delete + insert
see TextBufferTest.testReplaceAndInsert1
org.eclipse.jdt.ui.tests/ui/org/eclipse/jdt/ui/tests/core/TextBufferTest.java
private static final Class THIS= TextBufferTest.class;
	
	private TextBuffer fBuffer;
	private TextBufferEditor fEditor;
	
	public TextBufferTest(String name) {
		super(name);
	}
	
	public static void main(String[] args) {
		TestPluginLauncher.run(TestPluginLauncher.getLocationFromProperties(), THIS, args);
	}
	public static Test suite() {
		TestSuite result= new TestSuite(THIS);
		if (false) {	
			result.addTestSuite(THIS);