Julien Lepiller Fri, 19 Nov 2021 06:52:28 -0800
Since then, we have openjdk 10, and much more recent versions. I don't remember what fixed the issue, but I haven't seen it since then, so closing :)
