Index: trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
===================================================================
--- trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 5289)
+++ trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 5290)
@@ -108,4 +108,5 @@
             new DeprecatedPlugin("ImproveWayAccuracy", IN_CORE),
             new DeprecatedPlugin("Curves", tr("replaced by new {0} plugin","utilsplugin2")),
+            new DeprecatedPlugin("epsg31287", tr("replaced by new {0} plugin", "proj4j")),
         });
     }