if (fStdOut) System.out.println("*** Delete document Test["+i+"] FAILED!");
}
}
else
if (arg.equals("extract")) {
frag = range.extractContents();
//range.insertNode(document.createTextNode("^"));
String result = toString(document);
if (fStdOut) System.out.println("After extract: document="+result+":");
if (!result.equals(deleteResult[i])) {
if (fStdOut) System.out.println("Should be: document="+deleteResult[i]+":");