// it has unregistered for those changes. Such mistakes can happen
// due to multithreading, but no harm is done as long as the
// exception is caught here.
}
} finally {
synchronized (elements) { elements.notifyAll(); }
checkConsistency();
}
}
private volatile boolean notifierIsInconsistent = false;