Index: trunk/src/org/openstreetmap/josm/data/projection/CustomProjection.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/projection/CustomProjection.java	(revision 12235)
+++ trunk/src/org/openstreetmap/josm/data/projection/CustomProjection.java	(revision 12236)
@@ -706,4 +706,8 @@
     }
 
+    /**
+     * {@inheritDoc}
+     * @deprecated unused - remove in 2017-07
+     */
     @Override
     @Deprecated