mduigou [Fri, 11 May 2012 11:31:46 -0700] rev 12690
7071826: Avoid benign race condition in initialization of UUID
Summary: Avoids mostly benign but sometimes expensive race condition on initialization of UUID.numberGenerator which is used by UUID.randomUUID()
Reviewed-by: alanb, chegar