Changeset 13104 in josm

Timestamp:

2017-11-09T20:52:24+01:00 (7 years ago)

Author:

Don-vip

Message:

fix some recent Sonar issues

Location:

trunk/src/org/openstreetmap/josm

Files:

• gui/mappaint/ElemStyles.java (modified) (3 diffs)
• tools/JosmDecimalFormatSymbolsProvider.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/mappaint/ElemStyles.java

@@ -12 +12 @@
 import java.util.Optional;
 
-import org.openstreetmap.josm.spi.preferences.PreferenceChangeEvent;
-import org.openstreetmap.josm.spi.preferences.PreferenceChangedListener;
 import org.openstreetmap.josm.data.osm.Node;
 import org.openstreetmap.josm.data.osm.OsmPrimitive;
@@ -35 +33 @@
 import org.openstreetmap.josm.gui.util.GuiHelper;
 import org.openstreetmap.josm.spi.preferences.Config;
+import org.openstreetmap.josm.spi.preferences.PreferenceChangeEvent;
+import org.openstreetmap.josm.spi.preferences.PreferenceChangedListener;
 import org.openstreetmap.josm.tools.Pair;
 import org.openstreetmap.josm.tools.Utils;
@@ -487 +487 @@
      */
     boolean remove(StyleSource style) {
-        boolean result = styleSources.remove(style);
-        return result;
+        return styleSources.remove(style);
     }
 

trunk/src/org/openstreetmap/josm/tools/JosmDecimalFormatSymbolsProvider.java

@@ -42 +42 @@
      * @since 13050
      */
-    public static double parseDouble(String s) throws NumberFormatException {
+    public static double parseDouble(String s) {
         String text = s;
         NumberFormat format = DecimalFormat.getInstance();