diff --git a/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java b/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
index 6ac33e065..ba2f6f64a 100644
--- a/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
+++ b/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
@@ -66,7 +66,7 @@ public class LibrariesIndexer {
   private final File stagingFolder;
   private File sketchbookLibrariesFolder;
   
-  private static final List<String> badLibNotified = new ArrayList<String>();
+  private final List<String> badLibNotified = new ArrayList<String>();
 
   public LibrariesIndexer(File preferencesFolder, ContributionsIndexer contributionsIndexer) {
     this.contributionsIndexer = contributionsIndexer;