Comment by tomaytotomato

I would say as well as using SDKMan, you should use Jenv shell plugin to easily manage your JDK versions across projects.

https://github.com/jenv/jenv

All you have to do is link your SDKMan binaries with Jenv and you can easily switch with one command.