RFR: 8367943: PipedOutputStream write(0, 0) successful after close() [v3]

[Jaikiran Pai]

On Mon, 3 Nov 2025 18:09:31 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

>> Update the specification of `java.io.PipedOutputStream.write(byte[],int,int)` to match longstanding behavior. Add a verification to an existing test.
>
> Brian Burkhalter has updated the pull request incrementally with one additional commit since the last revision:
> 
>   8367943: Address reviewer comments

Thank you for the updates, Brian. This looks good to me.

-------------

Marked as reviewed by jpai (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/28078#pullrequestreview-3415506711