Mittlerweile hat es bei mir geklappt.
Ich habe das Betriebssystem nochmal komplett neu mit Ubuntu Server 20.10 LTS aufgespielt und dort dann nur OpenJDK 8 installiert.
Dann ging’s plötzlich.
Keine Ahnung, wieso es vorher nicht funktioniert hatte.
Tom