*
* @param c1 the Codebase to diff with c2
* @param c2 the Codebase to diff with c1
*/
public static void printDiff(Codebase c1, Codebase c2) {
CodebaseDifference diff = CodebaseDifference.diffCodebases(c1, c2);
if (diff.areDifferent()) {
AppContext.RUN.ui.info(
String.format("Codebases \"%s\" and \"%s\" differ:\n%s",
c1.toString(), c2.toString(),
new PatchCodebaseDifferenceRenderer().render(diff)));
} else {