So Java 17 can be used, the minimum required version to use the most recent Android SDK tools like sdkmanager
.
The koandroid
docker image will have to be updated to Focal (20.04), which is good idea anyway as the currently used version reached EOL in May (Bionic: 18.04).
This change is