if (fStdOut) System.out.println("range: startc="+range.getStartContainer());
if (fStdOut) System.out.println("range: starto="+range.getStartOffset());
if (fStdOut) System.out.println("range: endc="+range.getEndContainer());
if (fStdOut) System.out.println("range: endo="+range.getEndOffset());
}
ranged.deleteContents();
String result = null;
if (DEBUG) {
if (fStdOut) System.out.println("AFTER deleteContents()");
result = toString(document);
if (fStdOut) System.out.println("ranged: startc="+ranged.getStartContainer());