DiffService diffService = new DiffServiceImpl(getAlgo());
Object[] orig = ((DiffServiceImpl)diffService).randomSequence(LARGE);
Object[] rev = ((DiffServiceImpl)diffService).editAll(orig);
Revision revision = diffService.diff(orig, rev);
Object[] patched = revision.patch(orig);
if (!diffService.compare(patched, rev))
{
fail("revisions differ after patch");
}
}