From 251bb76eceba7f861d938e4b9dc2bc178263d85d Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Wed, 11 Mar 2015 16:26:59 +0100
Subject: [PATCH] Splashscreen

---
 arduino-core/src/processing/app/BaseNoGui.java | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/arduino-core/src/processing/app/BaseNoGui.java b/arduino-core/src/processing/app/BaseNoGui.java
index 187e1744a..5be847f5f 100644
--- a/arduino-core/src/processing/app/BaseNoGui.java
+++ b/arduino-core/src/processing/app/BaseNoGui.java
@@ -581,10 +581,7 @@ public class BaseNoGui {
     if (!indexFile.isFile()) {
       File distFile = findDefaultPackageFile();
       if (distFile != null) {
-        // If present, unpack distribution file into preferences folder
         ArchiveExtractor.extract(distFile, BaseNoGui.getSettingsFolder(), 0);
-
-        // TODO: The first distribution file may be removed after extraction?
       } else {
         // Otherwise create an empty packages index
         FileOutputStream out = null;