On Jan 19, 2012, at 11:42 PM, Andrew Haley wrote: >> You are correct; that's a bug. > > OK. Should I create a bug report for this? Yes, please. -- John -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mail.openjdk.java.net/pipermail/hotspot-dev/attachments/20120120/3ccaea33/attachment.html