Changeset 6084 in josm for trunk/src/org/openstreetmap/josm/gui/JosmUserIdentityManager.java

Timestamp:

2013-07-26T13:38:17+02:00 (11 years ago)

Author:

bastiK

Message:

see #8902 - add missing @Override annotations (patch by shinigami)

File:

• trunk/src/org/openstreetmap/josm/gui/JosmUserIdentityManager.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/JosmUserIdentityManager.java

@@ -239 +239 @@
     /* interface PreferenceChangeListener                                  */
     /* ------------------------------------------------------------------- */
+    @Override
     public void preferenceChanged(PreferenceChangeEvent evt) {
         if (evt.getKey().equals("osm-server.username")) {