@@ -32,10 +32,11 @@ /* * @test * @bug 8016252 * @summary Verify that a serialized HashSet may successfully be deserialized. + * @key randomness */ public class Serialization { private static final int NUM_SETS = 43; private static final int MAX_CAPACITY = 257;