# HG changeset patch
# User Christian Humer <christian.humer@gmail.com>
# Date 1431334094 -7200
# Node ID 2b8fb2b8b586815d8733a279833925a3fcef70d2
# Parent  9f6733155647d3096b1fa38f9e26d35b43e54186
Fix JAVA_HOME and EXTRA_JAVA_HOMES was not passed to eclipse builders anymore causing them to fail silently.

diff -r 9f6733155647 -r 2b8fb2b8b586 mxtool/mx.py
--- a/mxtool/mx.py	Sat May 09 12:35:54 2015 +0200
+++ b/mxtool/mx.py	Mon May 11 10:48:14 2015 +0200
@@ -4157,8 +4157,8 @@
     launchOut.open('launchConfiguration', {'type' : 'org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType'})
     launchOut.element('booleanAttribute', {'key' : 'org.eclipse.debug.core.capture_output', 'value': consoleOn})
     launchOut.open('mapAttribute', {'key' : 'org.eclipse.debug.core.environmentVariables'})
-    launchOut.element('mapEntry', {'key' : 'JAVA_HOME', 'value' : _opts.java_home})
-    launchOut.element('mapEntry', {'key' : 'EXTRA_JAVA_HOMES', 'value' : _opts.extra_java_homes})
+    launchOut.element('mapEntry', {'key' : 'JAVA_HOME', 'value' : _default_java_home.jdk})
+    launchOut.element('mapEntry', {'key' : 'EXTRA_JAVA_HOMES', 'value' :  os.pathsep.join([extraJavaHome.jdk for extraJavaHome in _extra_java_homes])})
     launchOut.close('mapAttribute')
 
     if refresh: