Java doesn't mind if you install multiple versions. This is often required; java is not backwards compatible (it tries to change little, but e.g. the java8 to java9 transition broke a ton of stuff, much of it needless and much of it not reasonably expectable or fixable by libraries and apps, so a bunch of java apps and libraries only run on java8 - just an example).

So, yes, you have installed JDK17. Also, yes, if you just run java without specifying which one you want, you so happen to get java13 here.

To see all installed javas, you can run:

Copy/usr/libexec/java_home -V

to 'override', you can use something like (depends on which shell you're using on your mac):

Copyexport JAVA_HOME=`/usr/libexec/java_home -v 17`

(the backticks mean: Run this then take the output of it and treat that as the 'value' of the expression. here, assign it to the JAVA_HOME env var. -v 17 requests a path to java 17. The -V option lists all and is meant for your eyeballs, not for scripts. The -v option is mostly for scripting, and that's how we're using it here).

JAVA_HOME decides which java is used by some things, but the java you get when you just type java is /usr/bin/java, and that executable is actually just a wrapper that picks a java to run from amongst all installed versions. It uses JAVA_HOME to decide which java to actually run. There are wrappers for all the common commands (javac, too). You can always run e.g. which javac to see what that actually runs; you probably see /usr/bin/javac. Everything in /usr/bin is one of these wrapper thingies that looks at JAVA_HOME and then runs the binary it finds there.

All the JAVA JDK files will be extracted to candidates/java directory.

• You can extract the required jdk directory into

  ${SDKMAN_DIR}/candidates/java/.
  

• In linux it will be in general .sdkman in /home/<user>

  /home/user/.sdkman/candidates/java
  

• It will be shown as unclassified.

  sdk list java
  
  ===== Available Java Versions=================
  
  Vendor        | Use | Version      | Dist    | Status     | Identifier
  ------------------------------------------------- 
  
  Unclassified  | >>> | dcevm        | none    | local only | dcevm-11.0.11_1
  

Use the following command to install it permanently:

sdk default java dcevm-11.0.11_1

Then set the JAVA_HOME path if required.

OK, I should have tried harder. I installed Java 19 with sdkman then the command "sdk default java [my old version]" switches back as required.