Index: trunk/src/org/openstreetmap/josm/data/preferences/BooleanProperty.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/preferences/BooleanProperty.java	(revision 9688)
+++ trunk/src/org/openstreetmap/josm/data/preferences/BooleanProperty.java	(revision 9689)
@@ -16,4 +16,7 @@
     public BooleanProperty(String key, boolean defaultValue) {
         super(key, defaultValue);
+        if (Main.pref != null) {
+            get();
+        }
     }
 
Index: trunk/src/org/openstreetmap/josm/data/preferences/CollectionProperty.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/preferences/CollectionProperty.java	(revision 9688)
+++ trunk/src/org/openstreetmap/josm/data/preferences/CollectionProperty.java	(revision 9689)
@@ -18,4 +18,7 @@
     public CollectionProperty(String key, Collection<String> defaultValue) {
         super(key, defaultValue);
+        if (Main.pref != null) {
+            get();
+        }
     }
 
Index: trunk/src/org/openstreetmap/josm/data/preferences/ColorProperty.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/preferences/ColorProperty.java	(revision 9688)
+++ trunk/src/org/openstreetmap/josm/data/preferences/ColorProperty.java	(revision 9689)
@@ -24,4 +24,7 @@
         super(getColorKey(colName), defaultValue);
         this.name = colName;
+        if (Main.pref != null) {
+            get();
+        }
     }
 
Index: trunk/src/org/openstreetmap/josm/data/preferences/IntegerProperty.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/preferences/IntegerProperty.java	(revision 9688)
+++ trunk/src/org/openstreetmap/josm/data/preferences/IntegerProperty.java	(revision 9689)
@@ -17,4 +17,7 @@
     public IntegerProperty(String key, int defaultValue) {
         super(key, defaultValue);
+        if (Main.pref != null) {
+            get();
+        }
     }
 
Index: trunk/src/org/openstreetmap/josm/data/preferences/ParametrizedEnumProperty.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/preferences/ParametrizedEnumProperty.java	(revision 9688)
+++ trunk/src/org/openstreetmap/josm/data/preferences/ParametrizedEnumProperty.java	(revision 9689)
@@ -12,4 +12,7 @@
         this.defaultValue = defaultValue;
         this.enumClass = enumClass;
+        if (Main.pref != null) {
+            get();
+        }
     }
 
Index: trunk/src/org/openstreetmap/josm/data/preferences/StringProperty.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/preferences/StringProperty.java	(revision 9688)
+++ trunk/src/org/openstreetmap/josm/data/preferences/StringProperty.java	(revision 9689)
@@ -16,4 +16,7 @@
     public StringProperty(String key, String defaultValue) {
         super(key, defaultValue);
+        if (Main.pref != null) {
+            get();
+        }
     }