// If the current time and index matches the first entry in the breakpoint
// table, then remove that entry.
if (!_breakpoints.isEmpty()) {
SuperdenseTime nextBreakpoint = (SuperdenseTime) _breakpoints
.first();
Time breakpointTime = nextBreakpoint.timestamp();
int comparison = breakpointTime.compareTo(_currentTime);
if (comparison < 0
|| (comparison == 0 && nextBreakpoint.index() < _index)) {
// At the top level, we should not have missed a breakpoint.
throw new IllegalActionException(this,