昔は Java Preferences で切り替えていた Java のバージョンですが、最近は java_home コマンドを使って JAVA_HOME 環境変数に設定するのが良い。 java_home コマンド man ページをかいつまむと、 java_home コマンドは、JAVA_HOME 環境変数を設定するための適切なパスを返します。 Javaの環境設定アプリケーションでのユーザーの有効および優先のJVMからこのパスを決定し、ユーザーが rc ファイルに$JAVA_HOMEを設定したり、最小バージョンまたはアーキテクチャの要件を満たす適切なJVMを使用する方法を提供します。 JAVA_HOME 環境変数の指定 以下のように java_home コマンド の結果を export export JAVA_HOME=`/usr/libexec/java_home` バージョン指定したい場