# HG changeset patch
# User Lukas Stadler <lukas.stadler@jku.at>
# Date 1362749922 -3600
# Node ID 67d654d9ee9a3613ca89be0c14fac096ac9b9cef
# Parent  6d23f64f2fdb5a616e1b55ee00094f95a4300781
pass JAVA_HOME to eclipse builder

diff -r 6d23f64f2fdb -r 67d654d9ee9a mxtool/mx.py
--- a/mxtool/mx.py	Fri Mar 08 13:19:28 2013 +0100
+++ b/mxtool/mx.py	Fri Mar 08 14:38:42 2013 +0100
@@ -2258,6 +2258,10 @@
 def _genEclipseBuilder(dotProjectDoc, p, name, mxCommand, refresh=True, async=False):
     launchOut = XMLDoc();
     launchOut.open('launchConfiguration', {'type' : 'org.eclipse.ui.externaltools.ProgramBuilderLaunchConfigurationType'})
+    launchOut.open('mapAttribute', {'key' : 'org.eclipse.debug.core.environmentVariables'})
+    launchOut.element('mapEntry', {'key' : 'JAVA_HOME',	'value' : java().jdk})
+    launchOut.close('mapAttribute')
+    
     if refresh:
         launchOut.element('stringAttribute',  {'key' : 'org.eclipse.debug.core.ATTR_REFRESH_SCOPE',            'value': '${project}'})
     launchOut.element('booleanAttribute', {'key' : 'org.eclipse.debug.core.capture_output',                'value': 'false'})