return;
}
for (ImpendingOWLOntologyChangeListener listener : new ArrayList<ImpendingOWLOntologyChangeListener>(impendingChangeListenerMap.keySet())) {
ImpendingOWLOntologyChangeBroadcastStrategy strategy = impendingChangeListenerMap.get(listener);
if (strategy != null) {
strategy.broadcastChanges(listener, changes);
}
}
}
public void setDefaultChangeBroadcastStrategy(OWLOntologyChangeBroadcastStrategy strategy) {