This document doesn't appear to work for me or any of my students running Mac OSX 10.13 - 10.15. What is the proper way to configure the JDK? This also needs to be updated for adoptopenjdk.net, and ...