Index: trunk/src/org/openstreetmap/josm/data/preferences/CollectionProperty.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/preferences/CollectionProperty.java	(revision 13001)
+++ trunk/src/org/openstreetmap/josm/data/preferences/CollectionProperty.java	(revision 13002)
@@ -4,6 +4,4 @@
 import java.util.ArrayList;
 import java.util.Collection;
-
-import org.openstreetmap.josm.Main;
 
 /**
@@ -21,5 +19,5 @@
     public CollectionProperty(String key, Collection<String> defaultValue) {
         super(key, defaultValue);
-        if (Main.pref != null) {
+        if (getPreferences() != null) {
             get();
         }
Index: trunk/src/org/openstreetmap/josm/data/preferences/EnumProperty.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/preferences/EnumProperty.java	(revision 13001)
+++ trunk/src/org/openstreetmap/josm/data/preferences/EnumProperty.java	(revision 13002)
@@ -2,5 +2,5 @@
 package org.openstreetmap.josm.data.preferences;
 
-import org.openstreetmap.josm.Main;
+import org.openstreetmap.josm.spi.preferences.Config;
 
 /**
@@ -23,5 +23,5 @@
         super(enumClass, defaultValue);
         this.key = key;
-        if (Main.pref != null) {
+        if (Config.getPref() != null) {
             get();
         }
Index: trunk/src/org/openstreetmap/josm/data/preferences/IntegerProperty.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/preferences/IntegerProperty.java	(revision 13001)
+++ trunk/src/org/openstreetmap/josm/data/preferences/IntegerProperty.java	(revision 13002)
@@ -1,6 +1,4 @@
 // License: GPL. For details, see LICENSE file.
 package org.openstreetmap.josm.data.preferences;
-
-import org.openstreetmap.josm.Main;
 
 /**
@@ -17,5 +15,5 @@
     public IntegerProperty(String key, int defaultValue) {
         super(key, defaultValue);
-        if (Main.pref != null) {
+        if (getPreferences() != null) {
             get();
         }
Index: trunk/src/org/openstreetmap/josm/data/preferences/ListProperty.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/preferences/ListProperty.java	(revision 13001)
+++ trunk/src/org/openstreetmap/josm/data/preferences/ListProperty.java	(revision 13002)
@@ -3,6 +3,4 @@
 
 import java.util.List;
-
-import org.openstreetmap.josm.Main;
 
 /**
@@ -18,5 +16,5 @@
     public ListProperty(String key, List<String> defaultValue) {
         super(key, defaultValue);
-        if (Main.pref != null) {
+        if (getPreferences() != null) {
             get();
         }