Community
Participate
Working Groups
https://git.eclipse.org/r/23451
Fixed with https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=8db76f67073ad0b196f7f14f48c843461d46aaec
Nobody complained so I hope this was OK, launch config works under Linux now out of the box.