/** @param configuration The {@link Configuration} to be updated. */ public void updateConfiguration(final Configuration configuration) { guiController.updateConfiguration(configuration); }
/** @param configuration The {@link Configuration} to be updated. */ public void updateConfiguration(final Configuration configuration) { guiController.updateConfiguration(configuration); }