No more ConfigKey. Simply use String for keys, it is a lot more convenient and ConfigKey didn't bring any value (since auxiliary properties will be handled different anyway).
Slightly improved ProfileSettings.
ProfileSettings notifies listeners as soon as possible to avoid some unexpected behaviour.
Minor simplification in ProfileSettings.
ProfileSettings updates the values lazily.
Fixed some tests in ProfileSettingsTest.
Fixed ProfileSettings when it is reloaded after a property has been set.
Adde toString for PlatformId.
When two properties has some common value, changing one is reflected in the other.
The value of multi-key properties are now retrieved properly.