Hi Jon, All right, let's not document flushing behavior then. It's probably really not important enough. So we're back to the null-checks?For that see patch of https://mail.openjdk.java.net/pipermail/core-libs-dev/2019 -February/058576.html Regards,Philipp
On Sat, 2019-02-16 at 17:05 -0800, Jonathan Gibbons wrote: > I still don't see why it is necessary to specify this behavior. > -- Jon > > > > >