Index: trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 9826)
+++ trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 9827)
@@ -60,9 +60,7 @@
 import org.openstreetmap.josm.data.preferences.PreferencesWriter;
 import org.openstreetmap.josm.data.preferences.Setting;
-import org.openstreetmap.josm.data.preferences.SettingVisitor;
 import org.openstreetmap.josm.data.preferences.StringSetting;
 import org.openstreetmap.josm.io.OfflineAccessException;
 import org.openstreetmap.josm.io.OnlineResource;
-import org.openstreetmap.josm.io.XmlWriter;
 import org.openstreetmap.josm.tools.CheckParameterUtil;
 import org.openstreetmap.josm.tools.ColorHelper;
Index: trunk/src/org/openstreetmap/josm/data/preferences/PreferencesReader.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/preferences/PreferencesReader.java	(revision 9826)
+++ trunk/src/org/openstreetmap/josm/data/preferences/PreferencesReader.java	(revision 9827)
@@ -117,5 +117,4 @@
         return version;
     }
-
 
     public void parse() throws XMLStreamException, IOException {
Index: trunk/src/org/openstreetmap/josm/tools/ImageProvider.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/ImageProvider.java	(revision 9826)
+++ trunk/src/org/openstreetmap/josm/tools/ImageProvider.java	(revision 9827)
@@ -177,4 +177,5 @@
          * Returns the image size in pixels
          * @return the image size in pixels
+         * @since 9705
          */
         public int getImageSize() {
@@ -185,4 +186,5 @@
          * Returns the image size as dimension
          * @return the image size as dimension
+         * @since 9705
          */
         public Dimension getImageDimension() {