From 73f6cda824a0d7d0437510959978fc3c8ba0969c Mon Sep 17 00:00:00 2001
From: Federico Bond <federicobond@gmail.com>
Date: Sat, 2 Aug 2014 20:06:44 -0300
Subject: [PATCH] Use correct collection in Library.list

---
 app/src/processing/app/Library.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/Library.java b/app/src/processing/app/Library.java
index 7b8adc556..0ec49106d 100644
--- a/app/src/processing/app/Library.java
+++ b/app/src/processing/app/Library.java
@@ -498,7 +498,7 @@ public class Library extends LocalContribution {
       for (String subfolderName : list) {
         File subfolder = new File(folder, subfolderName);
 
-        if (!libraries.contains(subfolder)) {
+        if (!librariesFolders.contains(subfolder)) {
           ArrayList<File> discoveredLibFolders = new ArrayList<File>();
           discover(subfolder, discoveredLibFolders);