Changeset 6780 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java

Timestamp:

2014-01-29T23:51:25+01:00 (10 years ago)

Author:

Don-vip

Message:

see #9632 - print debug message when setting system property

File:

• trunk/src/org/openstreetmap/josm/data/Preferences.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/data/Preferences.java

@@ -1285 +1285 @@
         // See Oracle bug database: https://bugs.openjdk.java.net/browse/JDK-7075600
         // and https://bugs.openjdk.java.net/browse/JDK-6923200
-        if (Main.pref.getBoolean("jdk.Arrays.useLegacyMergeSort", !Version.getInstance().isLocalBuild())) {
+        if (getBoolean("jdk.Arrays.useLegacyMergeSort", !Version.getInstance().isLocalBuild())) {
             updateSystemProperty("java.util.Arrays.useLegacyMergeSort", "true");
         }
@@ -1292 +1292 @@
     private void updateSystemProperty(String key, String value) {
         if (value != null) {
-            System.setProperty(key, value);
+            String old = System.setProperty(key, value);
+            Main.debug("System property '"+key+"' set to '"+value+"'. Old value was '"+old+"'");
         }
     }
@@ -1299 +1300 @@
      * The default plugin site
      */
-    private final static String[] DEFAULT_PLUGIN_SITE = {
-    Main.JOSM_WEBSITE+"/plugin%<?plugins=>"};
-
-    /**
-     * Replies the collection of plugin site URLs from where plugin lists can be downloaded
+    private final static String[] DEFAULT_PLUGIN_SITE = {Main.JOSM_WEBSITE+"/plugin%<?plugins=>"};
+
+    /**
+     * Replies the collection of plugin site URLs from where plugin lists can be downloaded.
+     * @return the collection of plugin site URLs
      */
     public Collection<String> getPluginSites() {