From 94e0c09fa56f68fec1ca623aab3909869d9be121 Mon Sep 17 00:00:00 2001
From: gohai <gottfried.haider@gmail.com>
Date: Fri, 27 May 2016 07:40:25 +0200
Subject: [PATCH] Remove superfluous slash in rsync source path in build.xml

This didn't break anything, but I noticed the extra slash while looking at this (unrelated) error message:

rsync: change_dir "/home/pi/Downloads/processing-jvm-fonts/build/linux//jdk1.8.0_77/jre" failed: No such file or directory (2)
---
 build/build.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build/build.xml b/build/build.xml
index a27add870..1b47b45d0 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -835,11 +835,11 @@
     -->
 
     <!-- use the jre subfolder when having downloaded a JDK file -->
-    <condition property="jre.dir" value="jdk${jdk.esoteric}/jre/">
+    <condition property="jre.dir" value="jdk${jdk.esoteric}/jre">
       <!-- property might not be set, but it is for arm -->
       <equals arg1="${jre.download.jdk}" arg2="true" />
     </condition>
-    <condition property="jre.dir" value="jre${jdk.esoteric}/">
+    <condition property="jre.dir" value="jre${jdk.esoteric}">
       <not>
         <equals arg1="${jre.download.jdk}" arg2="true" />
       </not>