reader = ReaderFactory.newPlatformReader ( inputFile ) ; } } catch ( IOException e ) {
[BUG] reader = ReaderFactory.newPlatformReader(inputFile); } [BUG][CONTEXT] if (inputEncoding != null) { if (parser.getType() == Parser.XML_TYPE) { reader = ReaderFactory.newXmlReader(inputFile); } else { reader = ReaderFactory.newReader(inputFile, inputEncoding); } } else { <extra_id_0>[CONTEXT]