From 31de5b61c15fd3eef6573a0b387e940e9f1ea45e Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Thu, 18 Jan 2018 17:21:17 +0100
Subject: [PATCH] Slightly simplified scanLibrary method

---
 .../cc/arduino/contributions/libraries/LibrariesIndexer.java  | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java b/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
index 788b2c4ac..ad1aba3b5 100644
--- a/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
+++ b/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
@@ -169,8 +169,6 @@ public class LibrariesIndexer {
   }
 
   private void scanLibrary(UserLibraryFolder folderDesc) throws IOException {
-    boolean readOnly = (folderDesc.location == Location.SKETCHBOOK);
-
     // A library is considered "legacy" if it doesn't contains
     // a file called "library.properties"
     File check = new File(folderDesc.folder, "library.properties");
@@ -201,7 +199,7 @@ public class LibrariesIndexer {
       lib.setTypes(foundLib.getTypes());
     }
 
-    if (readOnly && lib.getTypes() == null && !lib.getDeclaredTypes().isEmpty()) {
+    if (lib.getTypes() == null && folderDesc.location == Location.SKETCHBOOK) {
       lib.setTypes(lib.getDeclaredTypes());
     }