Bug fix: while dispatching model changes, new model change listeners can
register; this resulted in a ConcurrentModificationException for the
ModelDispatcher because it didn't take this into account (model change
notification redesign).