Revision realRev1 = repo1.revisionHistory.findHighestRevision(repoEx1.getOption("revision"));
Revision realRev2 = repo2.revisionHistory.findHighestRevision(repoEx2.getOption("revision"));
Equivalence newEq = new Equivalence(realRev1, realRev2);
db.noteEquivalence(newEq);
db.writeToLocation(options.dbLocation);
AppContext.RUN.ui.info("Noted equivalence: " + newEq);
return 0;
}