Index: /trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 10707)
+++ /trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 10708)
@@ -131,4 +131,5 @@
             new DeprecatedPlugin("kendzi3d-jogl", tr("replaced by new {0} plugin", "jogl")),
             new DeprecatedPlugin("josm-geojson", tr("replaced by new {0} plugin", "geojson")),
+            new DeprecatedPlugin("proj4j", inCore),
         });
     }