openjdk: Fix setting $JAVA_HOME
rascal: Add