<div dir="ltr">Hi all,<div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br><br>
I corrected this in this new webrev, I hope this doesn't cause another long<br>
round of reviews (please!).<br>
<a href="http://cr.openjdk.java.net/~goetz/webrevs/8143215-gcc412/webrev.04/" rel="noreferrer" target="_blank">http://cr.openjdk.java.net/~goetz/webrevs/8143215-gcc412/webrev.04/</a><br>
<br>
</blockquote><div><br></div><div>Just wanted to second Goetz on this one. This is a very annoying issue and I will be very thankful when this is resolved.</div><div><br></div><div>Kind Regards, Thomas</div><div> </div></div><br></div></div>