Faulty Null-Check Suspected in ToolProvider

[Philipp Kunz]

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
> >     
> 
>   
>