saveState(e);
}
EventListener[] list = listenerList.getListeners(ProcedureDisplayListener.class);
for (int i = 0; i < list.length; i++) {
ProcedureDisplayListener listener = (ProcedureDisplayListener) list[i];
listener.currentProcedureChanged(e);
}
}