Changeset 13647 in josm for trunk/src/org/openstreetmap/josm/gui/GettingStarted.java

Timestamp:

2018-04-19T20:37:16+02:00 (6 years ago)

Author:

Don-vip

Message:

see #16204 - Allow to start and close JOSM in WebStart sandbox mode (where every external access is denied). This was very useful to reproduce some very tricky bugs that occured in real life but were almost impossible to diagnose.

File:

• trunk/src/org/openstreetmap/josm/gui/GettingStarted.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/GettingStarted.java

@@ -33 +33 @@
 import org.openstreetmap.josm.tools.Logging;
 import org.openstreetmap.josm.tools.OpenBrowser;
+import org.openstreetmap.josm.tools.Utils;
 import org.openstreetmap.josm.tools.WikiReader;
 
@@ -85 +86 @@
 
         private final int myVersion = Version.getInstance().getVersion();
-        private final String myJava = System.getProperty("java.version");
+        private final String myJava = Utils.getSystemProperty("java.version");
         private final String myLang = LanguageInfo.getWikiLanguagePrefix();