The JOSM restart plugin doesn't work when using optirun josm

https://www.openstreetmap.org/user/DTHG/diary/19152