From 7c5c1741f068e44a19db865dc5b79274f08ee89f Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Tue, 12 May 2015 10:48:53 +0200
Subject: [PATCH] GNU/Linux: removing jayatana from JAVA_TOOL_OPTIONS, if
 present. Fixes #3081

---
 build/linux/dist/arduino | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build/linux/dist/arduino b/build/linux/dist/arduino
index e65183157..79228a774 100755
--- a/build/linux/dist/arduino
+++ b/build/linux/dist/arduino
@@ -26,5 +26,7 @@ else
 	SPLASH="-splash:./lib/splash.png"
 fi
 
+export JAVA_TOOL_OPTIONS=`echo $JAVA_TOOL_OPTIONS | sed 's|-javaagent:/usr/share/java/jayatanaag.jar||g'`
+
 java -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel $SPLASH ArduinoIDE --curdir $CURDIR "$@"