public void viewAccepted(View new_view) {
        List<Address> new_mbrs=new_view.getMembers();
        if(new_mbrs != null) {
            notifyViewChange(new_view);
            members.clear();
            members.addAll(new_mbrs);
        }
		//if size is bigger than one, there are more peers in the group
		//otherwise there is only one server.
        send_message=members.size() > 1;
    }
public void viewAccepted ( View new_view ) { List < Address > new_mbrs = new_view . getMembers ( ) ; if ( new_mbrs != null ) { notifyViewChange ( new_view ) ; members . clear ( ) ; members . addAll ( new_mbrs ) ; } send_message = members . size ( ) > 1 ; }
/*----------------------- MembershipListener ------------------------