Index: /trunk/src/org/openstreetmap/josm/gui/SplashScreen.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/gui/SplashScreen.java	(revision 19372)
+++ /trunk/src/org/openstreetmap/josm/gui/SplashScreen.java	(revision 19373)
@@ -282,4 +282,6 @@
         /**
          * @deprecated Use {@link #finishTask(String)} instead.
+         * This function is required by ProgressMonitor interface and cannot be
+         * removed.
          */
         @Override