How to install JRE in a way usable for dev?
The Java 9 (and 10) JDK no longer includes a separate jre directory. Instead you just use the main JDK directory - the 'Contents/Home' directory.

The output of the /usr/libexec/java_home command will give you the directory to use.