if(log.isInfoEnabled()) log.info("received CONFIG event: " + evt.getArg());
if(log.isDebugEnabled()) log.debug("received CONFIG event: " + evt.getArg());
    void handleDownEvent(Event evt) {        switch(evt.getType()) {            case Event.TMP_VIEW:            case Event.VIEW_CHANGE:                synchronized(members) {                    members.removeAllElements();                    Vector tmpvec=((View)evt.getArg()).getMembers();                    for(int i=0; i < tmpvec.size(); i++)                        members.addElement(tmpvec.elementAt(i));                }                break;            case Event.GET_LOCAL_ADDRESS:   // return local address -> Event(SET_LOCAL_ADDRESS, local)                passUp(new Event(Event.SET_LOCAL_ADDRESS, local_addr));                break;            case Event.CONNECT:                group_addr=(String)evt.getArg();                udp_hdr=new UdpHeader(group_addr);                // removed March 18 2003 (bela), not needed (handled by GMS)                // changed July 2 2003 (bela): we discard CONNECT_OK at the GMS level anyway, this might                // be needed if we run without GMS though                passUp(new Event(Event.CONNECT_OK));                break;            case Event.DISCONNECT:                passUp(new Event(Event.DISCONNECT_OK));                break;            case Event.CONFIG:                 if(log.isInfoEnabled()) log.info("received CONFIG event: " + evt.getArg());                handleConfigEvent((HashMap)evt.getArg());                break;        }    }