372373374375376377378379
// END <<< configurationSource.storeConfiguration(); // we successfully saved config eventBus.post(new ConfigurationSaveEvent(this)); } }