Index: /trunk/src/org/openstreetmap/josm/data/osm/User.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/osm/User.java	(revision 3827)
+++ /trunk/src/org/openstreetmap/josm/data/osm/User.java	(revision 3828)
@@ -109,5 +109,5 @@
         relicensingUsers = new HashSet<Long>();
         try {
-        MirroredInputStream stream = new MirroredInputStream("http://planet.openstreetmap.org/users_agreed/users_agreed.txt");
+        MirroredInputStream stream = new MirroredInputStream("http://planet.openstreetmap.org/users_agreed/users_agreed.txt", 7200);
         InputStreamReader r;
         r = new InputStreamReader(stream);