I guess the "permission denied"s are from rm? .. A...

# tornadofx

[elexx]

I guess the "permission denied"s are from rm? .. Also calling PATH=$JAVA_HOME/bin:$PATH will prepend again and again. Calling jdk11 twice will add JAVA_HOME twice to your path