Я не можу знайти jdk для Java 7 та 8

У мене встановлено 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?