From cce61f6aad3c7007f1f269464094fd9121e57833 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Wed, 30 Dec 2015 10:08:29 +0100
Subject: [PATCH] Remove unnecessary rename in GZippedJsonDownloader

See #4361
---
 .../src/cc/arduino/contributions/GZippedJsonDownloader.java    | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/arduino-core/src/cc/arduino/contributions/GZippedJsonDownloader.java b/arduino-core/src/cc/arduino/contributions/GZippedJsonDownloader.java
index 4ba66378e..6b6f38123 100644
--- a/arduino-core/src/cc/arduino/contributions/GZippedJsonDownloader.java
+++ b/arduino-core/src/cc/arduino/contributions/GZippedJsonDownloader.java
@@ -51,13 +51,12 @@ public class GZippedJsonDownloader {
 
   public void download(File tmpFile, Progress progress, String statusText, ProgressListener progressListener) throws Exception {
     try {
-      new JsonDownloader(downloader, gzippedUrl).download(tmpFile, progress, statusText, progressListener);
       File gzipTmpFile = new File(tmpFile.getParentFile(), GzipUtils.getCompressedFilename(tmpFile.getName()));
       // remove eventual leftovers from previous downloads
       if (gzipTmpFile.exists()) {
         gzipTmpFile.delete();
       }
-      tmpFile.renameTo(gzipTmpFile);
+      new JsonDownloader(downloader, gzippedUrl).download(gzipTmpFile, progress, statusText, progressListener);
       decompress(gzipTmpFile, tmpFile);
       gzipTmpFile.delete();
     } catch (Exception e) {