Index: trunk/src/org/openstreetmap/josm/data/osm/DataSet.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/osm/DataSet.java	(revision 13914)
+++ trunk/src/org/openstreetmap/josm/data/osm/DataSet.java	(revision 13915)
@@ -745,14 +745,4 @@
 
     @Override
-    public void clearHighlightedVirtualNodes() {
-        setHighlightedVirtualNodes(new ArrayList<WaySegment>());
-    }
-
-    @Override
-    public void clearHighlightedWaySegments() {
-        setHighlightedWaySegments(new ArrayList<WaySegment>());
-    }
-
-    @Override
     public synchronized Area getDataSourceArea() {
         if (cachedDataSourceArea == null) {
Index: trunk/src/org/openstreetmap/josm/data/osm/OsmData.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/osm/OsmData.java	(revision 13914)
+++ trunk/src/org/openstreetmap/josm/data/osm/OsmData.java	(revision 13915)
@@ -2,4 +2,5 @@
 package org.openstreetmap.josm.data.osm;
 
+import java.util.ArrayList;
 import java.util.Collection;
 import java.util.List;
@@ -281,10 +282,14 @@
      * clear all highlights of virtual nodes
      */
-    void clearHighlightedVirtualNodes();
+    default void clearHighlightedVirtualNodes() {
+        setHighlightedVirtualNodes(new ArrayList<WaySegment>());
+    }
 
     /**
      * clear all highlights of way segments
      */
-    void clearHighlightedWaySegments();
+    default void clearHighlightedWaySegments() {
+        setHighlightedWaySegments(new ArrayList<WaySegment>());
+    }
 
     /**