Comment Comment by hintymad This works if all you need is OpenJDK. Per the article, sdkman allows one to install and switch between different versions and brands of JDKs. parent hintymad 11 months ago