--- jsr166/src/jsr166e/Striped64.java 2014/05/04 22:38:19 1.9 +++ jsr166/src/jsr166e/Striped64.java 2015/01/18 20:17:33 1.10 @@ -5,6 +5,7 @@ */ package jsr166e; + import java.util.Random; /**