Changeset 6246 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

Timestamp:

2013-09-22T18:36:07+02:00 (11 years ago)

Author:

Don-vip

Message:

Sonar/FindBugs - various bugfixes / violation fixes

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

@@ -332 +332 @@
                         +"</html>", null, "")) {
                     Main.pref.resetToDefault();
-                    try { Main.pref.save(); } catch (IOException ex) {}
+                    try {
+                        Main.pref.save();
+                    } catch (IOException e) {
+                        Main.warn("IOException while saving preferences: "+e.getMessage());
+                    }
                     readPreferences(Main.pref);
                     applyFilter();