Integrated: 8247918: Clarify Reader.skip behavior for end of stream

[Brian Burkhalter]

On Thu, 28 Jan 2021 02:22:55 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

> Please review this clarification of the specification of the method `skip(long)` in `java.io.Reader` and its subclasses. Specifically, the behavior of the method is made clear for the case when the `Reader` is already at the end of its stream when the method is invoked. A corresponding CSR will be filed. Also, the change includes an update to an existing test in order to verify that the specification change reflects actual behavior.

This pull request has now been integrated.

Changeset: 7ffa1481
Author:    Brian Burkhalter <bpb at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/7ffa1481
Stats:     138 lines in 8 files changed: 69 ins; 30 del; 39 mod

8247918: Clarify Reader.skip behavior for end of stream

Reviewed-by: rriggs, naoto

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

PR: https://git.openjdk.java.net/jdk/pull/2274