hg: jdk8/tl/jdk: 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic

[henry.jen at oracle.com]

Changeset: 6d583b9d99e1
Author:    henryjen
Date:      2013-12-04 08:12 -0800
URL:       http://hg.openjdk.java.net/jdk8/tl/jdk/rev/6d583b9d99e1

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

! src/share/classes/java/io/BufferedReader.java
! test/java/io/BufferedReader/Lines.java