Ticket #17525: 17525-reverter.patch

src/reverter/RevertChangesetTask.java

@@ -24 +24 @@
 import org.openstreetmap.josm.gui.progress.swing.PleaseWaitProgressMonitor;
 import org.openstreetmap.josm.gui.util.GuiHelper;
 import org.openstreetmap.josm.io.OsmTransferException;
+import org.openstreetmap.josm.tools.JosmRuntimeException;
 import org.openstreetmap.josm.tools.Logging;
 import org.openstreetmap.josm.tools.UserCancelException;
 
@@ -105 +106 @@
                 Logging.warn("Revert canceled");
                 Logging.trace(e);
                 return;
+            } catch (Exception e) {
+                Logging.error(e);
+                throw new JosmRuntimeException(e.getCause());
             }
         }
         if (!allcmds.isEmpty()) {