Closing the Stream returned from BufferedReader.lines()

[Zhong Yu]

In this code

        BufferedReader br = ...;
        Stream<String> stream = br.lines();
        stream.close();  // does not close `br`

`stream.close()` does not trigger `br.close()`. I for one find that
rather counter-intuitive. Can you guys explain the design choice? When
should a Stream forward close() to its source and when should it not?

see http://stackoverflow.com/questions/20319417

Zhong Yu