import android.text.TextUtils;
import android.util.Log;
+import java.io.IOException;
import java.net.HttpURLConnection;
import java.net.URL;
+
+ import java.io.ByteArrayOutputStream;
+ import java.io.InputStream;
+ import java.io.IOException;
import java.util.Properties;
import java.util.Random;
+import java.util.concurrent.TimeUnit;
+
+import libcore.io.Streams;
/**
* A class for downloading GPS XTRA data.
private static final String TAG = "GpsXtraDownloader";
private static final boolean DEBUG = Log.isLoggable(TAG, Log.DEBUG);
+ private static final long MAXIMUM_CONTENT_LENGTH_BYTES = 1000000; // 1MB.
private static final String DEFAULT_USER_AGENT = "Android";
+ private static final int CONNECTION_TIMEOUT_MS = (int) TimeUnit.SECONDS.toMillis(30);
private final String[] mXtraServers;
// to load balance our server requests