I wanted to try Java 19 and have easy switching back to the Java 17 that I have already installed. So, I installed sdkman but it knows nothing of the previous Java. Found the "install local&qu...