Am Wed, Apr 05, 2023 at 02:26:07PM +0200 schrieb Andreas Enge: > Next problem, hopefully fixed by the following patch:
Funny observation, the problems appear in even releases... So OpenJDK 12, 14 and 16 contain bugs that were fixed in 11, 13 and 15! As far as I can tell, this is fixed now on core-updates. Andreas
