@Override
 public int hashCode() {
   return "RevisionSummary".hashCode()
       + revisionNumber.hashCode()
       + userId.hashCode()
       + ((int) timestamp)
       + changeCount;
 }