On Mon, 23 Sep 2024 16:41:43 GMT, Antonio Vieiro <duke at openjdk.org> wrote: > Filed as https://bugs.openjdk.org/browse/JDK-8318039 Still `8318039`? ------------- PR Comment: https://git.openjdk.org/jdk11u-dev/pull/2936#issuecomment-2368857011