# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1492293233 -7200
# Node ID c80b6f33b3d91861049ae131dcb246bb1cd8ee2f
# Parent  0c5404418ec2a87bbdbf3d74bdffbb415183f748
changed return type of Services.getSavedProperties (JDK-8177845)

diff -r 0c5404418ec2 -r c80b6f33b3d9 jvmci/jdk.vm.ci.services/src/jdk/vm/ci/services/Services.java
--- a/jvmci/jdk.vm.ci.services/src/jdk/vm/ci/services/Services.java	Tue Apr 11 08:59:43 2017 -0700
+++ b/jvmci/jdk.vm.ci.services/src/jdk/vm/ci/services/Services.java	Sat Apr 15 23:53:53 2017 +0200
@@ -25,6 +25,8 @@
 import java.lang.reflect.Field;
 import java.util.Collections;
 import java.util.Formatter;
+import java.util.HashMap;
+import java.util.Map;
 import java.util.Properties;
 import java.util.ServiceLoader;
 
@@ -45,7 +47,7 @@
      * Gets the system properties saved when {@link System} is initialized. The caller must not
      * modify the returned value.
      */
-    public static Properties getSavedProperties() {
+    public static Map<String, String> getSavedProperties() {
         SecurityManager sm = System.getSecurityManager();
         if (sm != null) {
             sm.checkPermission(new JVMCIPermission());
@@ -53,7 +55,12 @@
         try {
             Field savedPropsField = VM.class.getDeclaredField("savedProps");
             savedPropsField.setAccessible(true);
-            return (Properties) savedPropsField.get(null);
+            Properties props = (Properties) savedPropsField.get(null);
+            Map<String, String> res = new HashMap<>(props.size());
+            for (Map.Entry<Object, Object> e : props.entrySet()) {
+                res.put((String) e.getKey(), (String) e.getValue());
+            }
+            return res;
         } catch (Exception e) {
             throw new InternalError(e);
         }