test/java/util/HashSet/Serialization.java

*** 32,41 ****
--- 32,42 ----
  
  /*
   * @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;