InternalCallVerifier EqualityVerifier 

@Test public void equals(){
  RevisionVector rv1=new RevisionVector();
  RevisionVector rv2=new RevisionVector();
  assertEquals(rv1,rv2);
  Revision r11=new Revision(1,0,1);
  rv1=rv1.update(r11);
  assertNotEquals(rv1,rv2);
  rv2=rv2.update(r11);
  assertEquals(rv1,rv2);
  Revision r12=new Revision(1,0,2);
  rv1=rv1.update(r12);
  assertNotEquals(rv1,rv2);
  rv2=rv2.update(r12);
  assertEquals(rv1,rv2);
}