From 12723642549712bf8413c56320e2057e87544e49 Mon Sep 17 00:00:00 2001
From: Davy Landman <davy.landman@swat.engineering>
Date: Fri, 10 Feb 2023 12:03:54 +0100
Subject: [PATCH] Copy calculated JAVA_HOME path to make sure maven works

Sometimes rascal is running inside of a jdk that is not the same as JAVA_HOME, or JAVA_HOME is note defined

Fixes #1770
---
 src/org/rascalmpl/library/util/PathConfig.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/org/rascalmpl/library/util/PathConfig.java b/src/org/rascalmpl/library/util/PathConfig.java
index 4ef29c833d..52c6ea394f 100644
--- a/src/org/rascalmpl/library/util/PathConfig.java
+++ b/src/org/rascalmpl/library/util/PathConfig.java
@@ -664,6 +664,7 @@ private static IList getPomXmlCompilerClasspath(ISourceLocation manifestRoot) {
             ProcessBuilder processBuilder = new ProcessBuilder(mvnCommand, "--batch-mode", "-o", "dependency:build-classpath",
                 "-DincludeScope=compile");
             processBuilder.directory(new File(manifestRoot.getPath()));
+            processBuilder.environment().put("JAVA_HOME", System.getProperty("java.home", System.getenv("JAVA_HOME")));
 
             Process process = processBuilder.start();