the JDK 9 configuration has the project JDK set to...
# tornadofx
c
the JDK 9 configuration has the project JDK set to 9 and the jdk 9 source folder is tagged as source (jdk8 is not). The run configuration is based on JDK9