355356357358359360361
} @Override public SetDeltaMonitor monitorDelta(ICause propagator) { createDelta(); return new SetDeltaMonitor(delta, propagator); }