У меня возникли проблемы с изменением версии Java по умолчанию в Ubuntu 20.10.
Я хочу изменить версию Java JDK по умолчанию с Graal на OpenJDK 13.
Я начинаю с проверки версии по умолчанию:
$ java -version
openjdk version "11.0.7" 2020-04-14
OpenJDK Runtime Environment GraalVM CE 20.1.0 (build 11.0.7+10-jvmci-20.1-b02)
OpenJDK 64-Bit Server VM GraalVM CE 20.1.0 (build 11.0.7+10-jvmci-20.1-b02, mixed mode, sharing)
Я меняю версию следующим образом, выбирая OpenJDK версии 13:
$ sudo update-alternatives --config java
There are 4 choices for the alternative java (providing /usr/bin/java).
Selection Path Priority Status
------------------------------------------------------------
0 /usr/lib/jvm/java-13-openjdk-amd64/bin/java 1211 auto mode
1 /usr/lib/jvm/graalvm/bin/java 4 manual mode
2 /usr/lib/jvm/java-11-openjdk-amd64/bin/java 1111 manual mode
* 3 /usr/lib/jvm/java-13-openjdk-amd64/bin/java 1211 manual mode
4 /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java 1081 manual mode
Press <enter> to keep the current choice[*], or type selection number: 3
Если я снова проверю версию, она все еще говорит, что версия GraalVM:
$ java -version
openjdk version "11.0.7" 2020-04-14
OpenJDK Runtime Environment GraalVM CE 20.1.0 (build 11.0.7+10-jvmci-20.1-b02)
OpenJDK 64-Bit Server VM GraalVM CE 20.1.0 (build 11.0.7+10-jvmci-20.1-b02, mixed mode, sharing)
$
Я перезагрузил свою машину, но GraalVM по-прежнему используется по умолчанию.
Почему версия не меняется? Что мне не хватает?