Я не могу найти местоположение JDK для Java 7 и 8

Question

У меня установлено 3 разных версии (jdk) Java: 6, 7 и 8. В bash_profile:

export JAVA_HOME=$(/usr/libexec/java_home -v 1.8)
setjdk() {
  export JAVA_HOME=$(/usr/libexec/java_home -v $1)
}

Тем не менее, в

$ ls /System/Library/Java/JavaVirtualMachines
1.6.0.jdk

Я вижу только одну версию. Где еще 2? Каково расположение их jdks?