Solutionunvalidated
if you need the stream to be flushed, it's safest if you flush it yourself — if the user of your API is providing their own `OutputStream` object. Tension: there is no guarantee that calling `flush` on an already-closed stream would thrown an `IOException`. Outcome: if you need the stream to be flushed, it's safest if you flush it yourself.
0934822a-ea1f-4527-a9a3-b8990ff7065f
if you need the stream to be flushed, it's safest if you flush it yourself — if the user of your API is providing their own OutputStream object. Tension: there is no guarantee that calling flush on an already-closed stream would thrown an IOException. Outcome: if you need the stream to be flushed, it's safest if you flush it yourself.