}
EventListener[] list = listenerList.getListeners(ProcedureDisplayListener.class);
for (int i = 0; i < list.length; i++) {
ProcedureDisplayListener listener = (ProcedureDisplayListener) list[i];
listener.currentProcedureChanged(e);
}
}
public void fireProcedureParameterDisplayEvent(ProcedureParameterDisplayEvent e) {
boolean changed = e.getProcedureParameter() != currentState.procedureParameter;