Ticket #3797: remove_doSetErrorMessage.patch

src/org/openstreetmap/josm/gui/progress/SwingRenderingProgressMonitor.java

@@ -93 +93 @@
         });
     }
 
-    @Override
-    protected void doSetErrorMessage(String message) {
-        // Do nothing
-    }
 }

src/org/openstreetmap/josm/gui/progress/PleaseWaitProgressMonitor.java

@@ -135 +135 @@
     }
 
     @Override
-    protected void doSetErrorMessage(String message) {
-        // Do nothing
-    }
-
-    @Override
     public void appendLogMessage(final String message) {
         doInEDT(new Runnable() {
             public void run() {