Prerequisites
Install Git for windows and 7zip
winget install -e --id 7zip.7zip -i winget install -e --id Git.Git -i
Ensure 'zip' is available
ln -s /c/Program\ Files/7-Zip/7z.exe /c/Program\ Files/Git/mingw64/bin/zip.exe
Check that all "necessary toolchain to function" from https://sdkman.io/install are available: which curl which tar which gzip which unzip which zip
cd $HOME
curl -s "https://get.sdkman.io" | bash
source "$HOME/.sdkman/bin/sdkman-init.sh"
sdk version