Changeset 6780 in josm for trunk/src


Ignore:
Timestamp:
2014-01-29T23:51:25+01:00 (6 years ago)
Author:
Don-vip
Message:

see #9632 - print debug message when setting system property

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/data/Preferences.java

    r6774 r6780  
    12851285        // See Oracle bug database: https://bugs.openjdk.java.net/browse/JDK-7075600
    12861286        // and https://bugs.openjdk.java.net/browse/JDK-6923200
    1287         if (Main.pref.getBoolean("jdk.Arrays.useLegacyMergeSort", !Version.getInstance().isLocalBuild())) {
     1287        if (getBoolean("jdk.Arrays.useLegacyMergeSort", !Version.getInstance().isLocalBuild())) {
    12881288            updateSystemProperty("java.util.Arrays.useLegacyMergeSort", "true");
    12891289        }
     
    12921292    private void updateSystemProperty(String key, String value) {
    12931293        if (value != null) {
    1294             System.setProperty(key, value);
     1294            String old = System.setProperty(key, value);
     1295            Main.debug("System property '"+key+"' set to '"+value+"'. Old value was '"+old+"'");
    12951296        }
    12961297    }
     
    12991300     * The default plugin site
    13001301     */
    1301     private final static String[] DEFAULT_PLUGIN_SITE = {
    1302     Main.JOSM_WEBSITE+"/plugin%<?plugins=>"};
    1303 
    1304     /**
    1305      * Replies the collection of plugin site URLs from where plugin lists can be downloaded
     1302    private final static String[] DEFAULT_PLUGIN_SITE = {Main.JOSM_WEBSITE+"/plugin%<?plugins=>"};
     1303
     1304    /**
     1305     * Replies the collection of plugin site URLs from where plugin lists can be downloaded.
     1306     * @return the collection of plugin site URLs
    13061307     */
    13071308    public Collection<String> getPluginSites() {
Note: See TracChangeset for help on using the changeset viewer.