removeFromHistory(e);
}
EventListener[] list = listenerList.getListeners(ProcedureListener.class);
for (int i = 0; i < list.length; i++) {
ProcedureListener listener = (ProcedureListener) list[i];
switch (e.getId()) {
case MapEvent.ADD:
listener.procedureAdded(e);
break;
case MapEvent.CHANGE:
listener.procedureChanged(e);
break;
case MapEvent.REMOVE:
listener.procedureRemoved(e);
break;
default:
throw new IllegalArgumentException("Invalid ProcedureEvent type: "
+ e.getId());
}