Am Wed, Apr 05, 2023 at 12:19:44PM +0200 schrieb Andreas Enge: > Hm, it might be enough to replace "> 0" by "!= NULL" ?
Good guess, this is done in openjdk@10. I will give it a try. Andreas
Am Wed, Apr 05, 2023 at 12:19:44PM +0200 schrieb Andreas Enge: > Hm, it might be enough to replace "> 0" by "!= NULL" ?
Good guess, this is done in openjdk@10. I will give it a try. Andreas