public void testEquals() {
assert view.equals(view);
}
public void testEquals2() {
View v1=new View(new ViewId(a, 12345), new ArrayList<Address>(members));
View v2=new View(a, 12345, new ArrayList<Address>(members));
assert v1.equals(v2);
View v3=new View(a, 12543, new ArrayList<Address>(members));
assert !v1.equals(v3);
}