I really meant that when you file a bug at https://bugreport.java.com/you can paste it inline there, along with your description of the bug.
If you have already filed a bug, send me the ID and I can copy the info
into that bug.
Thanks.
-- Kevin
On 9/18/2018 11:26 AM, jav...@use.startmail.com wrote: