4445464748495051525354
View view; mbrs.addElement(my_addr); view=new View(vid, mbrs); t.start(); check.down(new Event(Event.BECOME_SERVER)); check.down(new Event(Event.VIEW_CHANGE, view)); synchronized(mutex) { for(long i=0; i < NUM_MSGS; i++) {
View view; mbrs.addElement(my_addr); view=new View(vid, mbrs); t.start(); t.getBottom().up(new Event(Event.SET_LOCAL_ADDRESS, my_addr)); check.down(new Event(Event.BECOME_SERVER)); check.down(new Event(Event.VIEW_CHANGE, view));