DiffService diffService = new DiffServiceImpl(getAlgo());
Object[] orig = ((DiffServiceImpl)diffService).randomSequence(LARGE);
for (int seed = 0; seed < 3; seed++)
{
Object[] rev = ((DiffServiceImpl)diffService).randomEdit(orig, seed);
Revision revision = diffService.diff(orig, rev);
Object[] patched = revision.patch(orig);
if (!diffService.compare(patched, rev))
{
fail("iter " + seed + " revisions differ after patch");
}