11001101110211031104110511061107
while (enumeration.hasMoreElements()) { enumeration.nextElement().updateSettings(); } } if (!writeSettingsFile()) { throw new StorageException("Error while saving the settings."); } }