Add call to flush and FileDescriptor.sync() in BinaryCodec.close, if OutputStream is a FileOutputStream.
Add call to flush and FileDescriptor.sync() in BinaryCodec.close, if OutputStream is a FileOutputStream.

nh13/picard,broadinstitute/picard,broadinstitute/picard,alecw/picard,annkupi/picard,nh13/picard,alecw/picard,annkupi/picard,nh13/picard,annkupi/picard,broadinstitute/picard,alecw/picard,broadinstitute/picard,nh13/picard,alecw/picard,broadinstitute/picard,annkupi/picard