synchronized(requests) { copy=new ArrayList(requests.values()); }
copy=new ArrayList(requests.values());
    public void receiveView(View new_view) {        RequestEntry entry;        ArrayList    copy;        // copy so we don't run into bug #761804 - Bela June 27 2003        synchronized(requests) {            copy=new ArrayList(requests.values());        }        for(Iterator it=copy.iterator(); it.hasNext();) {            entry=(RequestEntry)it.next();            if(entry.coll != null)                entry.coll.viewChange(new_view);        }    }