Index: trunk/src/org/openstreetmap/josm/Main.java
===================================================================
--- trunk/src/org/openstreetmap/josm/Main.java	(revision 12664)
+++ trunk/src/org/openstreetmap/josm/Main.java	(revision 12665)
@@ -109,5 +109,5 @@
      */
     @Deprecated
-    public static final ExecutorService worker = MainApplication.worker;
+    public static ExecutorService worker;
 
     /**
Index: trunk/src/org/openstreetmap/josm/gui/MainApplication.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/MainApplication.java	(revision 12664)
+++ trunk/src/org/openstreetmap/josm/gui/MainApplication.java	(revision 12665)
@@ -130,4 +130,5 @@
  * @author imi
  */
+@SuppressWarnings("deprecation")
 public class MainApplication extends Main {
 
@@ -170,4 +171,7 @@
      */
     public static final ExecutorService worker = new ProgressMonitorExecutor("main-worker-%d", Thread.NORM_PRIORITY);
+    static {
+        Main.worker = worker;
+    }
 
     /**