我需要安装 8.0.232 openjdk 版本。我正在使用 sdkman，结果sdk list java是：
Java.net | | 15.ea.25 | open | | 15.ea.25-open
| | 14.0.1 | open | | 14.0.1-open
| | 13.0.2 | open | | 13.0.2-open
| | 12.0.2 | open | | 12.0.2-open
| | 11.0.7 | open | | 11.0.7-open
| | 10.0.2 | open | | 10.0.2-open
| | 9.0.4 | open | | 9.0.4-open
| | 8.0.252 | open | | 8.0.252-open
| >>> | 8.0.242 | open | local only | 8.0.242-open
如何安装 8.0.232？