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

[Mike Duigou]

Go ahead with pushing 8029483 as no approval is required for doc only change.

Mike

On Dec 3 2013, at 11:49 , Henry Jen <henry.jen at oracle.com> wrote:

> 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
>>