From d437a826a18b812ebad20be9488145243068a41e Mon Sep 17 00:00:00 2001
From: gohai <gottfried.haider@gmail.com>
Date: Sun, 24 May 2015 21:11:32 +0200
Subject: [PATCH] Remove unused properties in build.xml

Trivial cleanup.
---
 build/build.xml | 12 ++----------
 1 file changed, 2 insertions(+), 10 deletions(-)

diff --git a/build/build.xml b/build/build.xml
index d8011452f..ce4f18c85 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -54,6 +54,7 @@
   <property name="jdk.esoteric" value="1.${jdk.version}.0_${jdk.update}" />
 
   <!-- Figure out the JRE download location for Linux and Windows. -->
+  <!--
   <condition property="jre.file" 
              value="jre-${jdk.short}-${platform}-i586.tar.gz"> 
     <equals arg1="${sun.arch.data.model}" arg2="32" />
@@ -62,16 +63,7 @@
              value="jre-${jdk.short}-${platform}-x64.tar.gz"> 
     <equals arg1="${sun.arch.data.model}" arg2="64" />
   </condition>
-
-  <!-- for the full name from processing.org/downloads -->
-  <condition property="jre.download" 
-             value="${jdk.short}-${platform}-i586.tar.gz"> 
-    <equals arg1="${sun.arch.data.model}" arg2="32" />
-  </condition>
-  <condition property="jre.download" 
-             value="${jdk.short}-${platform}-x64.tar.gz"> 
-    <equals arg1="${sun.arch.data.model}" arg2="64" />
-  </condition>
+  -->
 
   <!-- for use with the Ant Task -->
   <condition property="jre.downloader"