Remove unnecessary rename in GZippedJsonDownloader

See arduino#4361

Author: cmaglie

Diff for: arduino-core/src/cc/arduino/contributions/GZippedJsonDownloader.java

@@ -51,13 +51,12 @@ public GZippedJsonDownloader(DownloadableContributionsDownloader downloader, URL
 
   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) {