Re: java/eclipse port

From: Jonathan Chen <>
Date: Thu, 02 Jun 2022 04:49:20 UTC

It turns out that the cause of the crash was due to the use of a 
Linux-only 'feature' to fix a cosmetic bug. In particular:

Again, a huge shout-out to Patrick Mackinlay for determining the cause 
of the crash.

I've now submitted a PR to update the port to 4.21. Hopefully, I will be 
update the port to 4.24 next month.

Jonathan Chen <>