I have updated this webrev per Martin's comments and removed Tim from the @author list. If the latter is incorrect, please let me know.
Brian On Jun 18, 2013, at 5:13 PM, Brian Burkhalter wrote: > the webrev as before is at > > http://cr.openjdk.java.net/~bpb/4837946/
