I added some scripts to change which JDK to use