doc.emptyElement(doc.getDocumentElement());
}
private void restore(Document doc) {
// No comment.
UncheckedDocOpBuffer builder = new UncheckedDocOpBuffer();
doc.toInitialization().apply(builder);
DocOp state = builder.finish();
DocOp erasure = DocOpInverter.invert(state);
DocOp restoration;
try {
restoration = Composer.compose(erasure, state);
} catch (OperationException e) {