Index: src/org/openstreetmap/josm/gui/progress/SwingRenderingProgressMonitor.java
===================================================================
--- src/org/openstreetmap/josm/gui/progress/SwingRenderingProgressMonitor.java	(revision 2337)
+++ src/org/openstreetmap/josm/gui/progress/SwingRenderingProgressMonitor.java	(working copy)
@@ -93,8 +93,4 @@
         });
     }
 
-    @Override
-    protected void doSetErrorMessage(String message) {
-        // Do nothing
-    }
 }
Index: src/org/openstreetmap/josm/gui/progress/PleaseWaitProgressMonitor.java
===================================================================
--- src/org/openstreetmap/josm/gui/progress/PleaseWaitProgressMonitor.java	(revision 2337)
+++ src/org/openstreetmap/josm/gui/progress/PleaseWaitProgressMonitor.java	(working copy)
@@ -135,11 +135,6 @@
     }
 
     @Override
-    protected void doSetErrorMessage(String message) {
-        // Do nothing
-    }
-
-    @Override
     public void appendLogMessage(final String message) {
         doInEDT(new Runnable() {
             public void run() {