diff --git a/build/build.xml b/build/build.xml
index 8b3634497..026cf65fc 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -52,6 +52,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -620,6 +638,10 @@
+
+
+
+
@@ -632,6 +654,10 @@
+
+
+
+
@@ -643,6 +669,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/build/linux/dist/arduino b/build/linux/dist/arduino
index 0ff20af63..040b7aec2 100755
--- a/build/linux/dist/arduino
+++ b/build/linux/dist/arduino
@@ -28,5 +28,9 @@ 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 processing.app.Base --curdir $CURDIR "$@"
+JAVA=java
+if [ -x ./java/bin/java ]; then
+ JAVA=./java/bin/java
+fi
+$JAVA -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel $SPLASH processing.app.Base --curdir $CURDIR "$@"