Faulty Null-Check Suspected in ToolProvider

[Lance Andersen]

its on my todo list as is looking at your other issue, just have not gotten to it yet :-)

> On Feb 20, 2019, at 1:44 PM, Philipp Kunz <philipp.kunz at paratix.ch> wrote:
> 
> 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 <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
>> 

 <http://oracle.com/us/design/oracle-email-sig-198324.gif>
 <http://oracle.com/us/design/oracle-email-sig-198324.gif> <http://oracle.com/us/design/oracle-email-sig-198324.gif>
 <http://oracle.com/us/design/oracle-email-sig-198324.gif>Lance Andersen| Principal Member of Technical Staff | +1.781.442.2037
Oracle Java Engineering 
1 Network Drive 
Burlington, MA 01803
Lance.Andersen at oracle.com <mailto:Lance.Andersen at oracle.com>