There is no such setting for me. I am on 4.15.1 on Mac. For me there are no settings that specifically contain the word “java”, and JAVA_HOME is set to /usr and /usr/bin/javac -version gives me javac 1.8.0_112
JAVA_HOME
/usr
/usr/bin/javac -version
javac 1.8.0_112