JDK-8217305, JDK-8209002 and fixes

[Aleksey Shipilev]

Hi,

There is a public issue that is apparently fixed in 8u212 and 8u222:
  https://bugs.openjdk.java.net/browse/JDK-8217305

However, it seems that the fix went here:
  https://hg.openjdk.java.net/jdk8u/jdk8u-dev/rev/499617980681

...and there is a public review thread:
  https://mail.openjdk.java.net/pipermail/jdk8u-dev/2018-August/007792.html

...and the relevant issue is not public:
  https://bugs.openjdk.java.net/browse/JDK-8209002

Is there anything special about JDK-8209002? Can it be made public and linked to JDK-8217305?

CC'ing Kevin who is apparently the committer for both fixes. And David, who is trapped in being the
contact person for this kind of stuff over and over again.

Thanks,
-Aleksey