private static Index[] downloadFromServer(String url) throws IOException, JSONException {
        url = url.replaceAll("\\^", "%5E");
        System.out.println("Connecting to url \n" + url);
        InputStream is = new URL(url).openStream();
        try {
            BufferedReader rd = new BufferedReader(new InputStreamReader(is, Charset.forName("UTF-8")));
            String jsonText = readAll(rd);

            System.out.println(jsonText);
            //Type listType = new TypeToken<T[]>() {}.getType();
            return converter.fromJson(jsonText, Index[].class);
        } finally {
            is.close();
        }
    }