Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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
- Loading branch information