Index: /trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 10962)
+++ /trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 10963)
@@ -118,9 +118,9 @@
             new DeprecatedPlugin("ImproveWayAccuracy", inCore),
             new DeprecatedPlugin("Curves", tr("replaced by new {0} plugin", "utilsplugin2")),
-            new DeprecatedPlugin("epsg31287", tr("replaced by new {0} plugin", "proj4j")),
+            new DeprecatedPlugin("epsg31287", inCore),
             new DeprecatedPlugin("licensechange", tr("no longer required")),
             new DeprecatedPlugin("restart", inCore),
             new DeprecatedPlugin("wayselector", inCore),
-            new DeprecatedPlugin("openstreetbugs", tr("replaced by new {0} plugin", "notes")),
+            new DeprecatedPlugin("openstreetbugs", inCore),
             new DeprecatedPlugin("nearclick", tr("no longer required")),
             new DeprecatedPlugin("notes", inCore),