Hello! On Mon, 2023-10-23 at 23:20 +0200, Rene Engelhard wrote: > > > we're explicitly building with OpenJDK 8 while Debian builds > > > with OpenJDK 17 [2] which might explain the different test results. > > Which is no option here...
It may not be an option, but it might give you a pointer how to fix the actual bug, even with OpenJDK 17. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer `. `' Physicist `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
