After installing sdkman and let it install java temurin 8 and 17 and setting use to java 8, $JAVA_HOME nicely pointed to the current candidate.
But $PATH and java -version still point to the original /usr/lib/jvm/java-17-openjdk-amd64/bin. Do I have to manually modify $PATH, each time I change the current java version?
I changed the 'use' version, and $JAVA_HOME changed appropriately, but $PATH and java -version did not change.