On Fri, 10 Nov 2023 08:40:41 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > IMHO the real error is not honoring the flush() request. Did we look into fixing that? ------------- PR Comment: https://git.openjdk.org/jdk/pull/16474#issuecomment-1807515980