我在 Ubuntu 18.10 上有 SDKMAN 5.7.3+337，它列出了这些可用的 Java 版本：
13.ea.17-open > * 10.0.2-open 1.0.0-rc-12-grl
12.0.1-zulu * 9.0.7-zulu 1.0.0-rc-11-grl
12.0.1-librca 9.0.4-open 1.0.0-rc-10-grl
12.0.1-sapmchn 8.0.212-zulu 1.0.0-rc-9-grl
12.0.1-open 8.0.212-amzn 1.0.0-rc-8-grl
+ 12.0.0-open 8.0.212-librca
11.0.3-sapmchn + 8.0.202-zulu
11.0.3-zulu 8.0.202.j9-adpt
11.0.3-amzn 8.0.202.hs-adpt
11.0.3-librca 8.0.202-zulufx
+ 11.0.2-open 7.0.222-zulu
11.0.2.j9-adpt 6.0.119-zulu
11.0.2.hs-adpt 1.0.0-rc-15-grl
11.0.2-zulufx 1.0.0-rc-14-grl
10.0.2-zulu 1.0.0-rc-13-grl
而 Ubuntu 18.04.1 LTS（如 Windows 10 中的 WSL）上的相同 SDKMAN 版本显示：
13.ea.17-open * 9.0.4-open 1.0.0-rc-11-grl
12.0.1-sapmchn 8.0.212-zulu 1.0.0-rc-10-grl
12.0.1-zulu 8.0.212-amzn 1.0.0-rc-9-grl
12.0.1-open 8.0.212-librca 1.0.0-rc-8-grl
12.0.1-librca + 8.0.202-zulu
11.0.3-sapmchn 8.0.202.j9-adpt
11.0.3-zulu 8.0.202.hs-adpt
11.0.3-amzn …