I was told that the source in an internal repo. It's not a part of OpenJDK and we will fix it.
Thanks, Max > On Dec 25, 2018, at 8:37 AM, Weijun Wang <[email protected]> wrote: > > And yes, this is the correct mail list to talk about this issue. I also have > no idea where the source of that tooldoc is. Someone on the list should know.
