Index: /trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 9792)
+++ /trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 9793)
@@ -1086,5 +1086,5 @@
                 Set evalue = (Set) e.getValue();
                 JsonArrayBuilder a = Json.createArrayBuilder();
-                for (Object evo: (Collection) evalue) {
+                for (Object evo: evalue) {
                     a.add(evo.toString());
                 }
@@ -1418,4 +1418,5 @@
      * setting, add it to the list here with an expiry date (written as comment). If you
      * see something with an expiry date in the past, remove it from the list.
+     * @param loadedVersion JOSM version when the preferences file was written
      */
     private void removeObsolete(int loadedVersion) {
Index: /trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/StyledMapRenderer.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/StyledMapRenderer.java	(revision 9792)
+++ /trunk/src/org/openstreetmap/josm/data/osm/visitor/paint/StyledMapRenderer.java	(revision 9793)
@@ -33,5 +33,4 @@
 import java.util.List;
 import java.util.Map;
-import java.util.Map.Entry;
 import java.util.concurrent.ForkJoinPool;
 import java.util.concurrent.ForkJoinTask;
@@ -261,4 +260,5 @@
         }
     }
+
     /* can be set by tests, if detailed benchmark data is requested */
     public BenchmarkData benchmarkData = null;
Index: /trunk/test/performance/org/openstreetmap/josm/PerformanceTestUtils.java
===================================================================
--- /trunk/test/performance/org/openstreetmap/josm/PerformanceTestUtils.java	(revision 9792)
+++ /trunk/test/performance/org/openstreetmap/josm/PerformanceTestUtils.java	(revision 9793)
@@ -2,7 +2,7 @@
 package org.openstreetmap.josm;
 
+import org.openstreetmap.josm.io.XmlWriter;
+
 import edu.umd.cs.findbugs.annotations.SuppressFBWarnings;
-
-import org.openstreetmap.josm.io.XmlWriter;
 
 /**
@@ -63,10 +63,10 @@
     /**
      * Emit one data value for the Jenkins Measurement Plots Plugin.
-     * 
+     *
      * The plugin collects the values over multiple builds and plots them in a diagram.
-     * 
-     * @see https://wiki.jenkins-ci.org/display/JENKINS/Measurement+Plots+Plugin
+     *
      * @param name the name / title of the measurement
      * @param value the value
+     * @see https://wiki.jenkins-ci.org/display/JENKINS/Measurement+Plots+Plugin
      */
     public static void measurementPlotsPluginOutput(String name, double value) {
Index: /trunk/test/performance/org/openstreetmap/josm/gui/mappaint/MapRendererPerformanceTest.java
===================================================================
--- /trunk/test/performance/org/openstreetmap/josm/gui/mappaint/MapRendererPerformanceTest.java	(revision 9792)
+++ /trunk/test/performance/org/openstreetmap/josm/gui/mappaint/MapRendererPerformanceTest.java	(revision 9793)
@@ -68,4 +68,5 @@
         }
     }
+
     private static final EnumMap<Feature, BooleanStyleSetting> filters = new EnumMap<>(Feature.class);
 
@@ -112,5 +113,5 @@
 
         MapCSSStyleSource defaultStyle = null;
-        for (int i = 0; i< sources.size(); i++) {
+        for (int i = 0; i < sources.size(); i++) {
             StyleSource s = sources.get(i);
             if ("resource://styles/standard/elemstyles.mapcss".equals(s.url)) {
@@ -199,5 +200,7 @@
                 try {
                     Thread.sleep(300);
-                } catch (InterruptedException ex) {}
+                } catch (InterruptedException ex) {
+                    Main.warn(ex);
+                }
                 StyledMapRenderer.BenchmarkData data = new StyledMapRenderer.BenchmarkData();
                 data.skipDraw = skipDraw;
