From 7d09a12184af8df01217b48edd8db531c8d3c5bd Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 23 Mar 2015 09:29:50 +0100
Subject: [PATCH] Windows: specifying that the need JRE has to be 32bit

---
 build/windows/launcher/config.xml       | 2 +-
 build/windows/launcher/config_debug.xml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/build/windows/launcher/config.xml b/build/windows/launcher/config.xml
index 5ba101291..eb29a7153 100644
--- a/build/windows/launcher/config.xml
+++ b/build/windows/launcher/config.xml
@@ -30,8 +30,8 @@
   <jre>
     <path>java</path>
     <minVersion>1.8.0</minVersion>
-    <maxVersion></maxVersion>
     <jdkPreference>preferJre</jdkPreference>
+    <runtimeBits>32</runtimeBits>
     <opt>-splash:./lib/splash.png</opt>
     <opt>-Dsun.java2d.d3d=false</opt>
   </jre>
diff --git a/build/windows/launcher/config_debug.xml b/build/windows/launcher/config_debug.xml
index f9ee97869..d59060f67 100644
--- a/build/windows/launcher/config_debug.xml
+++ b/build/windows/launcher/config_debug.xml
@@ -30,8 +30,8 @@
   <jre>
     <path>java</path>
     <minVersion>1.8.0</minVersion>
-    <maxVersion></maxVersion>
     <jdkPreference>preferJre</jdkPreference>
+    <runtimeBits>32</runtimeBits>
     <opt>-Dsun.java2d.d3d=false</opt>
   </jre>
   <messages>