From 304c05dc990e020d8d7c90280fc388f654605e65 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Fri, 27 Feb 2015 09:12:16 +0100
Subject: [PATCH] Windows: bundled JRE updated to 8u31 build.xml now uses unzip
 target

---
 build/build.xml                | 19 ++++++-------------
 build/windows/jre-8u31.zip.sha |  1 +
 2 files changed, 7 insertions(+), 13 deletions(-)
 create mode 100644 build/windows/jre-8u31.zip.sha

diff --git a/build/build.xml b/build/build.xml
index c57d72010..ea5c383e6 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -888,19 +888,12 @@
   <target name="windows-dist" depends="windows-build"
 	  description="Create .zip files of windows version">
 
-    <get src="http://arduino.cc/download.php?f=/jre_7u40_windows_i586.zip" dest="windows/jre.zip" usetimestamp="true" skipexisting="true" />
-
-    <unzip dest="windows/work" src="windows/jre.zip" overwrite="false"/>
-
-    <!--
-    <zip basedir="windows/work" 
-	 prefix="arduino-${version}"
-	 destfile="windows/arduino-${version}.zip" />
-    <zip basedir="windows/work" 
-	 prefix="arduino-${version}"
-	 destfile="windows/arduino-${version}-expert.zip" 
-	 excludes="java/**" />
-    -->
+    <antcall target="unzip">
+      <param name="archive_file" value="windows/jre-8u31.zip" />
+      <param name="archive_url" value="http://arduino.cc/download.php?f=/jre-8u31.zip" />
+      <param name="final_folder" value="${staging_folder}/work/java" />
+      <param name="dest_folder" value="${staging_folder}/work/" />
+    </antcall>
 
     <zip destfile="windows/arduino-${version}-${platform}.zip" level="9">
       <zipfileset dir="windows/work"
diff --git a/build/windows/jre-8u31.zip.sha b/build/windows/jre-8u31.zip.sha
new file mode 100644
index 000000000..a22af0b53
--- /dev/null
+++ b/build/windows/jre-8u31.zip.sha
@@ -0,0 +1 @@
+17bf4f25babaf70bdb68fd3464be163eb769c074