System.out.print(r.toString());
System.err.println("------" + new Date());
try
{
Object[] reco = r.patch(orig);
//String recos = Diff.arrayToString(reco);
if (!Diff.compare(rev, reco))
{
System.err.println("INTERNAL ERROR:"
+ "files differ after patching!");