Updater: Change default user-agent

package org.lineageos.updater.download;

import android.os.SystemClock;

import android.os.SystemProperties;

import android.util.Log;

import java.io.File;

import java.util.regex.Matcher;

import java.util.regex.Pattern;

import org.lineageos.updater.misc.Constants;

public class HttpURLConnectionClient implements DownloadClient {

    private final static String TAG = "HttpURLConnectionClient";

            DownloadClient.DownloadCallback callback,

            boolean useDuplicateLinks) throws IOException {

        mClient = (HttpURLConnection) new URL(url).openConnection();

        String defaultUserAgent = mClient.getRequestProperty("User-Agent");

        String newUserAgent = defaultUserAgent + " eOS v" + SystemProperties.get(Constants.PROP_BUILD_VERSION);

        mClient.setRequestProperty("User-Agent", newUserAgent);

        mDestination = destination;

        mProgressListener = progressListener;

        mCallback = callback;