Index: trunk/src/org/openstreetmap/josm/data/osm/User.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/osm/User.java	(revision 4024)
+++ trunk/src/org/openstreetmap/josm/data/osm/User.java	(revision 4025)
@@ -2,12 +2,16 @@
 package org.openstreetmap.josm.data.osm;
 
+import java.io.BufferedReader;
+import java.io.InputStreamReader;
+import java.io.IOException;
+
 import java.util.ArrayList;
+import java.util.concurrent.atomic.AtomicLong;
 import java.util.HashMap;
 import java.util.HashSet;
 import java.util.List;
-import java.util.concurrent.atomic.AtomicLong;
+
+import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.io.MirroredInputStream;
-import java.io.InputStreamReader;
-import java.io.BufferedReader;
 
 /**
@@ -109,18 +113,23 @@
         relicensingUsers = new HashSet<Long>();
         try {
-        MirroredInputStream stream = new MirroredInputStream("http://planet.openstreetmap.org/users_agreed/users_agreed.txt", 7200);
-        InputStreamReader r;
-        r = new InputStreamReader(stream);
-        BufferedReader reader = new BufferedReader(r);
-        String line;
-        while ((line = reader.readLine()) != null) {
-            if (line.startsWith("#")) continue;
+            MirroredInputStream stream = new MirroredInputStream(Main.pref.get("url.licensechange",
+            "http://planet.openstreetmap.org/users_agreed/users_agreed.txt"), 7200);
             try {
-                relicensingUsers.add(new Long(Long.parseLong(line.trim())));
-            } catch (java.lang.NumberFormatException ex) {
+                InputStreamReader r;
+                r = new InputStreamReader(stream);
+                BufferedReader reader = new BufferedReader(r);
+                String line;
+                while ((line = reader.readLine()) != null) {
+                    if (line.startsWith("#")) continue;
+                    try {
+                        relicensingUsers.add(new Long(Long.parseLong(line.trim())));
+                    } catch (java.lang.NumberFormatException ex) {
+                    }
+                }
             }
-        }
-        stream.close();
-        } catch (java.io.IOException ex) {
+            finally {
+                stream.close();
+            }
+        } catch (IOException ex) {
         }
     }