/** * Passes the specified event to all registered configuration LISTENERS. * @param event event to propagate. */ private void triggerEvent(ConfigurationEvent event) { for(ConfigurationListener listener : LISTENERS.keySet()) listener.configurationChanged(event); }