[registry] IJPL-172399 ConcurrentModificationException when the config has several objects with the same key

GitOrigin-RevId: 8c81e7c83aef4d71314706953df809136572b94d

platform/util/src/com/intellij/openapi/util/registry/Registry.kt

@@ -388,6 +388,9 @@ class Registry {
     return state
   }
 
+  /**
+   * Shares modifiable map of stored properties, no defensive copying applied.
+   */
   @Internal
   fun getStoredProperties(): MutableMap<String, ValueWithSource> = userProperties