119120121122123124125126127128129
{ final int index = elements_.indexOf( cachable ); if( index == -1 ) throw new NoSuchElementException(); final IRecord record = (IRecord)records_.elementAt( index ); record.restore(); } awake_.addElement( cachable ); sleep(); }