digest_mutex.notify();
digest_mutex.notifyAll();
    public boolean handleUpEvent(Event evt) {	switch(evt.getType()) {	case Event.SET_LOCAL_ADDRESS:	    local_addr=(Address)evt.getArg();	    break;	case Event.GET_MSG_DIGEST_OK:	    synchronized(digest_mutex) {		digest=(Digest)evt.getArg();		digest_mutex.notify();	    }	    return false;  // don't pass further up	case Event.GET_MSGS_RECEIVED_OK:	    long[] tmp=(long[])evt.getArg();	    if(tmp != null)            System.arraycopy(tmp, 0, highest_delivered_msgs, 0, tmp.length);	    synchronized(highest_delivered_mutex) {		highest_delivered_mutex.notify();	    }	    return false; // don't pass up any further !	case Event.GET_MSGS_OK:	    synchronized(get_msgs_mutex) {		get_msgs=(List)evt.getArg();		get_msgs_mutex.notify();	    }	    break;	}	return true;    }