RFR JDK-8003258: BufferedReader.lines()

[Paul Sandoz]

Also...

On May 1, 2013, at 5:42 PM, Paul Sandoz <Paul.Sandoz at oracle.com> wrote:

> On May 1, 2013, at 6:36 AM, Henry Jen <henry.jen at oracle.com> wrote:
>> 
>>> 
>>>   /**
>>>    * Returns a {@code Stream}, the elements of which are lines read from this
>>>    * {@code BufferedReader}.  The {@link Stream} is lazily populated via
>>>    * calls to {@link #readLine()}.
>>>    *

Also ... the last sentence is too specific. I think it can be removed or made an @implNote.

We could state. 

 Lines are read from the reader during execution of the terminal stream operation.

Suitable massaging with other sentences that mention " terminal stream operation" to perhaps avoid undue repetition.

Paul.