8081828384858687888990
} catch (Exception e) { c.doNotThrow(); throw new SourceReaderException("Could not read " + sourceFileName + ": " + e.toString()); } finally { c.closeAll(); } } BufferedReader readerFor(Source source) throws UnsupportedEncodingException { return new BufferedReader(new InputStreamReader(