Index: applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/util/Util.java
===================================================================
--- applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/util/Util.java	(revision 4096)
+++ applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/util/Util.java	(revision 4122)
@@ -16,4 +16,5 @@
 import org.openstreetmap.josm.data.osm.Way;
 import org.openstreetmap.josm.plugins.*;
+import org.openstreetmap.josm.plugins.validator.PreferenceEditor;
 import org.openstreetmap.josm.tools.ImageProvider;
 
@@ -162,5 +163,5 @@
             return new File(url.toString() ) ;
         
-        String localPath = Main.pref.get("tests.mirror." + url);
+        String localPath = Main.pref.get( PreferenceEditor.PREFIX + ".mirror." + url);
         File oldFile = null;
         if( localPath != null && localPath.length() > 0)
@@ -225,5 +226,5 @@
         }
         
-        Main.pref.put("tests.mirror." + url, System.currentTimeMillis() + ";" + localPath);
+        Main.pref.put( PreferenceEditor.PREFIX + ".mirror." + url, System.currentTimeMillis() + ";" + localPath);
         
         if( oldFile != null )