Immediately re-parse library_index.json after updating it

Author: cmaglie

arduino-core/src/cc/arduino/contributions/libraries/LibraryInstaller.java

@@ -56,7 +56,7 @@ public LibraryInstaller(Platform platform) {
   }
 
   public synchronized void updateIndex(ProgressListener progressListener) throws Exception {
-    final MultiStepProgress progress = new MultiStepProgress(2);
+    final MultiStepProgress progress = new MultiStepProgress(3);
 
     DownloadableContributionsDownloader downloader = new DownloadableContributionsDownloader(BaseNoGui.librariesIndexer.getStagingFolder());
     // Step 1: Download index
@@ -79,7 +79,10 @@ public synchronized void updateIndex(ProgressListener progressListener) throws E
     if (!tmpFile.renameTo(outputFile))
       throw new Exception(tr("An error occurred while updating libraries index!"));
 
-    // Step 2: Rescan index
+    // Step 2: Parse index
+    BaseNoGui.librariesIndexer.parseIndex();
+
+    // Step 3: Rescan index
     rescanLibraryIndex(progress, progressListener);
   }