From 93fc220c55c124fe847a3e497bc6fbac1b48e332 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bcmi-labs.cc>
Date: Tue, 18 Jul 2017 13:00:19 +0200
Subject: [PATCH] Fix simple java error in LIBRARY_INDEX_URL_GZ assignment

Being a final variable it must be assigned only once.
---
 arduino-core/src/cc/arduino/Constants.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arduino-core/src/cc/arduino/Constants.java b/arduino-core/src/cc/arduino/Constants.java
index ea0690240..7f34b6056 100644
--- a/arduino-core/src/cc/arduino/Constants.java
+++ b/arduino-core/src/cc/arduino/Constants.java
@@ -80,10 +80,11 @@ public class Constants {
     String externalLibraryIndexUrl = System.getProperty("LIBRARY_INDEX_URL");
     if (externalLibraryIndexUrl != null && !"".equals(externalLibraryIndexUrl)) {
       LIBRARY_INDEX_URL = externalLibraryIndexUrl;
-      LIBRARY_INDEX_URL_GZ = "";
       String externalLibraryIndexUrlGz = System.getProperty("LIBRARY_INDEX_URL_GZ");
       if (externalLibraryIndexUrlGz != null && !"".equals(externalLibraryIndexUrlGz)) {
         LIBRARY_INDEX_URL_GZ = externalLibraryIndexUrlGz;
+      } else {
+        LIBRARY_INDEX_URL_GZ = "";
       }
     } else {
       LIBRARY_INDEX_URL = "http://downloads.arduino.cc/libraries/library_index.json";