logDetail( "Handling deferred expire for alarm: " + alarm.toString()  );
if ( _logger.isDetailEnabled() ) _logger.detail( "Handling deferred expire for alarm: " + alarm.toString()  );
    void execute( )    {        // Just called the deferred handler on all alarms.        //        synchronized( _expired_alarm_queue )        {            Iterator iter = _expired_alarm_queue.iterator();            while ( iter.hasNext() )             {                IntervalAlarm alarm = (IntervalAlarm) iter.next();                logDetail( "Handling deferred expire for alarm: "                            + alarm.toString()  );                alarm.handleDeferredExpiration();            } // while iter            _expired_alarm_queue.clear();        } // synchronized( _expired_alarm_queue )    } // method execute