106107108109110111112113114115116
{ Object[] orig = loadFile(argv[0]); Object[] rev = loadFile(argv[1]); Diff df = new Diff(orig); Revision r = df.diff(rev); System.err.println("------"); System.out.print(r.toString()); System.err.println("------" + new Date());