516517518519520521522
} @Override public IIntDeltaMonitor monitorDelta(ICause propagator) { createDelta(); return new EnumDeltaMonitor(delta, propagator); }
513514515516517518519