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.

Umgebungsvariable ohne Adminrechte ändern

https://serverfault.com/questions/33681/how-can-i-modify-a-user-s-path-environment-variable-without-logging-out

My Computer / Properties / Advanced / Environment Variables. Changes there take effect immediately except for already open command prompt windows. No need to log out and back in.

NOTE: If you don’t have access to that window, you might be able to get it by running rundll32 sysdm.cpl,EditEnvironmentVariables from the Run window or command-line.