On Wed, 8 Sep 2021 22:00:53 GMT, Brian Burkhalter <b...@openjdk.org> wrote:
> Modify the class level specification of `java.io.FilterInputStream` to be > more exact about `java.io.InputStream` methods that it overrides. Some other incidental modifications are made in passing, principally adding `@Override` annotations and putting statements like `This method does X` in `@implSpec` blocks. ------------- PR: https://git.openjdk.java.net/jdk/pull/5426
