RFR: 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic

[Henry Jen]

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 <henry.jen at oracle.com> 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
>