@@ -26,10 +26,11 @@ * @bug 4904135 4923181 * @summary Unit test for EnumSet * @author Josh Bloch * @author Neal Gafter * @author Yo Ma Ma + * @key randomness */ import java.util.*; import java.io.*;