441442443444445446447
} @Override public IIntDeltaMonitor monitorDelta(ICause propagator) { createDelta(); return new IntervalDeltaMonitor(delta, propagator); }