}
public void testWaveletDocumentOperationDocOp() {
OpEquator eq = OpComparators.SYNTACTIC_IDENTITY;
DocOpBuffer ba = new DocOpBuffer();
ba.characters("a");
DocOp da = ba.finish();
DocOpBuffer bb = new DocOpBuffer();
bb.deleteCharacters("a");
DocOp db = bb.finish();
CoreWaveletDocumentOperation a1 = new CoreWaveletDocumentOperation("a", da);
CoreWaveletDocumentOperation a2 = new CoreWaveletDocumentOperation("a", da);
CoreWaveletDocumentOperation b1 = new CoreWaveletDocumentOperation("a", db);
CoreWaveletDocumentOperation b2 = new CoreWaveletDocumentOperation("a", db);