/** Un-registers the given ProgramEventListener from being a listener to this GUI. */ public void removeProgramListener(ProgramEventListener listener) { listeners.remove(listener); }