800801802803804805806807808809810
event.cancel(); } event = timer.addEvent( now + idle_dispatch_time, new TimerEventPerformer() { public void perform(
849850851852853854855856857858859
event = null; }else{ event = timer.addEvent( now + idle_dispatch_time, new TimerEventPerformer() { public void perform(