Index: trunk/src/org/openstreetmap/josm/data/osm/event/SelectionEventManager.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/osm/event/SelectionEventManager.java	(revision 12972)
+++ trunk/src/org/openstreetmap/josm/data/osm/event/SelectionEventManager.java	(revision 12973)
@@ -12,4 +12,5 @@
 
 import org.openstreetmap.josm.data.SelectionChangedListener;
+import org.openstreetmap.josm.data.osm.DataIntegrityProblemException;
 import org.openstreetmap.josm.data.osm.DataSelectionListener;
 import org.openstreetmap.josm.data.osm.DataSet;
@@ -19,4 +20,5 @@
 import org.openstreetmap.josm.gui.layer.MainLayerManager.ActiveLayerChangeEvent;
 import org.openstreetmap.josm.gui.layer.MainLayerManager.ActiveLayerChangeListener;
+import org.openstreetmap.josm.tools.bugreport.BugReport;
 
 /**
@@ -199,5 +201,9 @@
     private static void fireEvent(List<ListenerInfo> listeners, SelectionChangeEvent event) {
         for (ListenerInfo listener: listeners) {
-            listener.fire(event);
+            try {
+                listener.fire(event);
+            } catch (DataIntegrityProblemException e) {
+                throw BugReport.intercept(e).put("event", event).put("listeners", listeners);
+            }
         }
     }