asenv.conf ファイルの AS_JAVA 変数は、常に as-install/jdk をポイントします。別のバージョンの JDK を使用する場合は、asenv.conf ファイルを手動で更新し、AS_JAVA の値を変更します。
