FYI, I've filed a bug report. I'll let you know what, if any, response I get.

On 04/10/2017 09:31 AM, Tomaž Cerar wrote:

On Mon, Apr 10, 2017 at 2:44 PM, Ron Sigal <rsigal@redhat.com> wrote:

Thanks, Tomaž. Where is that bug list?

http://bugreport.java.com/

-- 
My company's smarter than your company (unless you work for Red Hat)