If the Java executable on the path points to a version < 17, I have to use the JAVA_HOME environment variable to specify a Java 17 installation. This doesn't work in the environment above (may, but ...