From 4076baa81cc90d68f204b5a675aca0726e39eea7 Mon Sep 17 00:00:00 2001
From: Federico Fissore <federico@fissore.org>
Date: Tue, 4 Dec 2012 11:59:13 +0100
Subject: [PATCH] fixed java 1.5 compatibility issue

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

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index fe6f6673e..102476579 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -1232,7 +1232,7 @@ public class Base {
                 for (final String customMenuOption : boardCustomMenu.getKeys()) {
                   @SuppressWarnings("serial")
                   Action subAction = new AbstractAction(_(boardCustomMenu.getValueOf(customMenuOption))) {
-                    @Override
+
                     public void actionPerformed(ActionEvent e) {
                       Preferences.set("target_package", (String) getValue("package"));
                       Preferences.set("target_platform", (String) getValue("platform"));