Daniel Trebbien d7fbfbe27d Switch to calling Files.newBufferedReader() ... This is, in part, a follow-up to db21e3add0. FileReader is a thin wrapper of FileInputStream. Change-Id: I342de223f1d18bff80a3cb09ee0f66641e2c4807		2017-12-28 17:36:56 -08:00
..
AsciiDoctor.java	Switch to calling Files.newBufferedReader()	2017-12-28 17:36:56 -08:00
DocIndexer.java	Switch to calling Files.newBufferedReader()	2017-12-28 17:36:56 -08:00