for(int i=0; i < new_mbrs.size(); i++)
for (int i = 0; i < new_mbrs.size(); i++) {
        public void passUp(Event evt) {            byte[] tmp_state=null;            switch(evt.getType()) {                case Event.MSG:                    if(msg_listener != null)                        msg_listener.receive((Message)evt.getArg());                    break;                case Event.GET_APPLSTATE: // reply with GET_APPLSTATE_OK                    if(msg_listener != null) {                        try {                            tmp_state=msg_listener.getState();                        }                        catch(Throwable t) {                            log.error("failed getting state from message listener (" + msg_listener + ")", t);                        }                    }                    channel.returnState(tmp_state);                    break;                case Event.GET_STATE_OK:                    if(msg_listener != null) {                        try {                            msg_listener.setState((byte[])evt.getArg());                        }                        catch(ClassCastException cast_ex) {                            if(log.isErrorEnabled()) log.error("received SetStateEvent, but argument " +                                    evt.getArg() + " is not serializable. Discarding message.");                        }                    }                    break;                case Event.VIEW_CHANGE:                    View    v=(View)evt.getArg();                    Vector  new_mbrs=v.getMembers();                    if(new_mbrs != null) {                        members.removeAllElements();                        for(int i=0; i < new_mbrs.size(); i++)                            members.addElement(new_mbrs.elementAt(i));                    }                    if(membership_listener != null)                        membership_listener.viewAccepted(v);                    break;////                case Event.SET_LOCAL_ADDRESS://                    local_addr=(Address)evt.getArg();//                    break;                case Event.SUSPECT:                    if(membership_listener != null)                        membership_listener.suspect((Address)evt.getArg());                    break;                case Event.BLOCK:                    if(membership_listener != null)                        membership_listener.block();                    break;            }        }