Index: trunk/src/org/openstreetmap/josm/tools/PlatformHookOsx.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/PlatformHookOsx.java	(revision 7845)
+++ trunk/src/org/openstreetmap/josm/tools/PlatformHookOsx.java	(revision 7846)
@@ -335,5 +335,5 @@
     }
 
-    @Overrides
+    @Override
     public File getDefaultUserDataDirectory() {
         return new File(System.getProperty("user.home")+"/Library", "JOSM");