From ea405ea534771b695054aa1227c20109ee89cf47 Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Fri, 25 Mar 2016 13:39:13 +0100
Subject: [PATCH] avoid NPE for synchronization issues on board list

---
 .../arduino/packages/discoverers/serial/SerialBoardsLister.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arduino-core/src/cc/arduino/packages/discoverers/serial/SerialBoardsLister.java b/arduino-core/src/cc/arduino/packages/discoverers/serial/SerialBoardsLister.java
index b4ac2da9d..4de3626f6 100644
--- a/arduino-core/src/cc/arduino/packages/discoverers/serial/SerialBoardsLister.java
+++ b/arduino-core/src/cc/arduino/packages/discoverers/serial/SerialBoardsLister.java
@@ -54,7 +54,7 @@ public class SerialBoardsLister extends TimerTask {
     timer.schedule(this, 0, 1000);
   }
 
-  public void retriggerDiscovery() {
+  public synchronized void retriggerDiscovery() {
     while (BaseNoGui.packages == null) {
       try {
         Thread.sleep(1000);