harness.check(t1.getText(),"012replacement56789","replacement");
t1.insert("insertion", 1);
harness.check(t1.getText(),"0insertion12replacement56789","insertion");
t1.setSelectionStart(0);
t1.setSelectionEnd(1);
t1.replaceSelection("selection");
harness.check(t1.getText(),"selectioninsertion12replacement56789",
"insertion");
}
}