From c9f8078a927368b88b3c29f9599b33d53c1c3dd0 Mon Sep 17 00:00:00 2001
From: gohai <gottfried.haider@gmail.com>
Date: Mon, 9 May 2016 14:31:04 +0200
Subject: [PATCH] Switch back to JRE 8u77 on ARM

JRE 8u91 or higher cause performance problems with the GL Video library - specifically: SimpleCapture example doesn't show a texture from USB-attached webcam on Raspberry Pi 2, and TwoVideos example doesn't play two videos smoothly.

This was tested with Processing compiled on the Pi (JDK 8u65b17), and processing-glvideo 2d6de36a33fde3573b335e9a95cc3e380466f328.
---
 build/build.xml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/build/build.xml b/build/build.xml
index a6508c507..5967728e9 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -59,6 +59,15 @@
 
   <!-- Switching to 8 because updates for 7 ended April 2015 -->
   <property name="jdk.version" value="8" />
+
+  <!-- temporarily work around performance regression on ARM -->
+  <condition property="jdk.update" value="77">
+    <equals arg1="${linux-arm32}" arg2="linux-arm32" />
+  </condition>
+  <condition property="jdk.build" value="3">
+    <equals arg1="${linux-arm32}" arg2="linux-arm32" />
+  </condition>
+
   <property name="jdk.update" value="92" />
   <property name="jdk.build" value="14" />