Ticket #13000: patch-fix-13000.patch

src/org/openstreetmap/josm/gui/dialogs/DialogsPanel.java

@@ -16 +16 @@
 import org.openstreetmap.josm.gui.widgets.MultiSplitPane;
 import org.openstreetmap.josm.tools.CheckParameterUtil;
 import org.openstreetmap.josm.tools.Destroyable;
+import org.openstreetmap.josm.tools.bugreport.BugReport;
 
 /**
  * This is the panel displayed on the right side of JOSM. It displays a list of panels.
@@ -322 +323 @@
     @Override
     public void destroy() {
         for (ToggleDialog t : allDialogs) {
-            t.destroy();
+            try {
+                t.destroy();
+            } catch (RuntimeException e) {
+                throw BugReport.intercept(e).put("dialog", t).put("dialog-class", t.getClass());
+            }
         }
     }
 

src/org/openstreetmap/josm/gui/dialogs/ToggleDialog.java

@@ -308 +308 @@
                 showNotify();
             }
         }
+
+        @Override
+        public String toString() {
+            return "ToggleDialogAction [" + ToggleDialog.this.toString() + "]";
+        }
+
     }
 
     /**