highest_seqnos_mutex.notify();
highest_seqnos_mutex.notifyAll();
    private boolean downGetMsgsReceived(Event e) {        long[] new_seqnos=(long[])e.getArg();        try {            synchronized(this) {                if(new_seqnos == null)                    return (true);                if(new_seqnos.length != seqnos.length) {                        if(log.isInfoEnabled()) log.info("GET_MSGS_RECEIVED: array of highest " +                                "seqnos seen so far (received from NAKACK layer) " +                                "has a different length (" + new_seqnos.length +                                ") from 'seqnos' array (" + seqnos.length + ')');                    return (true);                }                System.arraycopy(new_seqnos, 0, seqnos, 0, seqnos.length);            }        }        finally {            synchronized(highest_seqnos_mutex) {                highest_seqnos_mutex.notify();            }        }        return (true);    }