180181182183184185186187188189190
if (!s.isShutdown()) { if (!isPersistent()) { s.unscheduleJob(trigger.getKey()); } else { s.pauseTrigger(trigger.getKey()); } } } catch (final SchedulerException e) { throw new EJBException("fail to cancel the timer", e); }