refreshNamespace(e.getDomain());
removeFromHistory(e);
}
for (EventListener listener : listenerList.getListeners(DomainListener.class)) {
DomainListener temp = (DomainListener) listener;
switch (e.getId()) {
case MapEvent.ADD:
temp.domainAdded(e);
break;
case MapEvent.CHANGE:
temp.domainChanged(e);
break;
case MapEvent.REMOVE:
temp.domainRemoved(e);
break;
default:
throw new IllegalArgumentException("Invalid DomainEvent type: "
+ e.getId());
}