<div dir="ltr"><div dir="ltr"><div>+1 to Thomas's response.<br clear="all"></div><div>I added a comment in <a href="https://bugs.openjdk.org/browse/JDK-8212084">https://bugs.openjdk.org/browse/JDK-8212084</a> for the current status, and unassigned myself.</div><div><br></div><div><div dir="ltr" class="gmail_signature"><div dir="ltr">-Man</div></div></div></div></div>