On 08/12/2015 17:22, Brian Burkhalter wrote: > : > > An updated version with “while” instead of “if” is here: > > http://cr.openjdk.java.net/~bpb/8143394/webrev.02/ > <http://cr.openjdk.java.net/%7Ebpb/8143394/webrev.02/> > Looks okay to me now. -Alan