https://gyunseo.com/posts/switch-multiple-jdk-versions-on-windows/