I have separated the fix into two part,
8029434: Spliterator of Stream returned by BufferedReader.lines() should
have NONNULL characteristic
8029483: BufferedReader.lines() javadoc typo should be fixed
So that we can at least fix the javadoc by jdk8 release if not the
characteristic.
Cheers,
Henry
On 12/03/2013 10:52 AM, Mike Duigou wrote:
Looks good to me.
Mike
On Dec 3 2013, at 10:36 , Henry Jen <[email protected]> wrote:
Hi,
Please review a small fix that add missing NONNULL characteristic and cleanup
in javadoc.
Thanks Anthony Vanelverdinghe for reporting of this bug.
http://cr.openjdk.java.net/~henryjen/tl/8029434/0/webrev/
Cheers,
Henry
