diff --git a/src/org/rascalmpl/library/util/PathConfig.java b/src/org/rascalmpl/library/util/PathConfig.java index 780768508d..cffd1669e5 100644 --- a/src/org/rascalmpl/library/util/PathConfig.java +++ b/src/org/rascalmpl/library/util/PathConfig.java @@ -672,6 +672,7 @@ private static IList getPomXmlCompilerClasspath(ISourceLocation manifestRoot) { ); processBuilder.directory(new File(manifestRoot.getPath())); + processBuilder.environment().put("JAVA_HOME", System.getProperty("java.home", System.getenv("JAVA_HOME"))); Process process = processBuilder.start(); @@ -720,6 +721,7 @@ private static void installNecessaryMavenPlugins(String mvnCommand) { "-DartifactId=maven-dependency-plugin", "-Dversion=2.8", trustStoreFix()); + processBuilder.environment().put("JAVA_HOME", System.getProperty("java.home", System.getenv("JAVA_HOME"))); Process process = processBuilder.start(); if (process.waitFor() != 0) {