}
EventListener[] list = listenerList.getListeners(QueryDisplayListener.class);
for (int i = 0; i < list.length; i++) {
QueryDisplayListener listener = (QueryDisplayListener) list[i];
listener.currentQueryChanged(e);
}
}
public void fireProcedureDisplayEvent(ProcedureDisplayEvent e) {
boolean changed = e.getProcedure() != currentState.procedure;