Arduino IDE (Ubuntu): Serieller Port kann nicht ausgewählt werden

Ich habe endlich mal Arduino auf einem Ubuntu (18.04 LTE) PC ausprobiert.

Aber leider konnte ich zuerst den seriellen Port zum Arduino nicht auswählen: der
Menüpunkt war ausgegraut.
Diverse Beiträge im Internet schlagen fehlende Rechte für /dev/ttyUSB* vor, aber
das war es bei mir nicht.
https://askubuntu.com/questions/979170/arduino-ide-port-in-the-tool-is-greyed

Erfolg brachte dann folgenden Artikel:
https://askubuntu.com/questions/1034173/arduino-serial-communication-uploader-not-working

Das Problem war (anscheinend) das OpenJAVA: es muss für die Arduino IDE gegen die
Oracle JRE ausgetauscht werden.