Index: trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 14005)
+++ trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 14006)
@@ -783,4 +783,5 @@
      */
     private void removeObsolete(int loadedVersion) {
+        Logging.trace("Remove obsolete preferences for version {}", loadedVersion);
         for (String key : OBSOLETE_PREF_KEYS) {
             if (settingsMap.containsKey(key)) {
Index: trunk/src/org/openstreetmap/josm/gui/PrimitiveRenderer.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/PrimitiveRenderer.java	(revision 14005)
+++ trunk/src/org/openstreetmap/josm/gui/PrimitiveRenderer.java	(revision 14006)
@@ -27,5 +27,5 @@
  * @author imi
  * @author Frederik Ramm
- * @since 13564 (successor to {@link OsmPrimitivRenderer}
+ * @since 13564 (successor to {@code OsmPrimitivRenderer}
  */
 public class PrimitiveRenderer implements ListCellRenderer<IPrimitive>, TableCellRenderer {