Index: unk/src/org/openstreetmap/josm/gui/widgets/HistoryChangedListener.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/gui/widgets/HistoryChangedListener.java	(revision 12309)
+++ 	(revision )
@@ -1,9 +1,0 @@
-// License: GPL. For details, see LICENSE file.
-package org.openstreetmap.josm.gui.widgets;
-
-import java.util.List;
-
-@FunctionalInterface
-public interface HistoryChangedListener {
-    void historyChanged(List<String> history);
-}