Ugh. Oh well, looks good. On Oct 24, 2013, at 8:25 AM, Roland Westrelin <roland.westrelin at oracle.com> wrote: > Not the prettiest fix but one that is straightforward: > > http://cr.openjdk.java.net/~roland/8026978/webrev.00/ > > Roland.