Index: trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
===================================================================
--- trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 19153)
+++ trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java	(revision 19154)
@@ -183,5 +183,6 @@
             new DeprecatedPlugin("javafx-windows", inCore),
             new DeprecatedPlugin("wikidata", tr(replacedByPlugin, "osmwiki-dataitem")),
-            new DeprecatedPlugin("mapdust", noLongerRequired)
+            new DeprecatedPlugin("mapdust", noLongerRequired),
+            new DeprecatedPlugin("tofix", noLongerRequired)
         );
         Collections.sort(DEPRECATED_PLUGINS);