[BUG]reader = ReaderFactory.newXmlReader( 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]