Изменение JDK по умолчанию в Ubuntu 20.10

У меня проблемы с изменением версии 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 по-прежнему используется по умолчанию.

Почему версия не меняется? Что мне не хватает?