}
InputStream input = Util.fileOrStdin(inputFile, stdin);
try {
DatumReader<Object> reader = new GenericDatumReader<Object>(schema);
BinaryDecoder binaryDecoder =
DecoderFactory.get().binaryDecoder(input, null);
DatumWriter<Object> writer = new GenericDatumWriter<Object>(schema);
JsonEncoder jsonEncoder = EncoderFactory.get().jsonEncoder(schema, out, !noPretty);
Object datum = null;
while (!binaryDecoder.isEnd()){
datum = reader.read(datum, binaryDecoder);
writer.write(datum, jsonEncoder);
jsonEncoder.flush();
}
out.println();