From af932ef0ceb839d2ec35af9b8ee75e2264f6652e Mon Sep 17 00:00:00 2001
From: "David A. Mellis" <d.mellis@arduino.cc>
Date: Wed, 10 Oct 2012 09:13:57 -0400
Subject: [PATCH] Avoid null-pointer exception with old-style third-party
 hardware folders.

---
 app/src/processing/app/debug/TargetPlatform.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/src/processing/app/debug/TargetPlatform.java b/app/src/processing/app/debug/TargetPlatform.java
index ca5d4aac6..9fcc51d43 100644
--- a/app/src/processing/app/debug/TargetPlatform.java
+++ b/app/src/processing/app/debug/TargetPlatform.java
@@ -45,6 +45,7 @@ public class TargetPlatform {
     name = _name;
     folder = _folder;
     boards = new HashMap<String, PreferencesMap>();
+    boardsOrder = new ArrayList<String>();
     programmers = new HashMap<String, PreferencesMap>();
     preferences = new PreferencesMap();