--- old/test/java/util/HashSet/Serialization.java	2015-04-21 18:52:30.497423813 -0700
+++ new/test/java/util/HashSet/Serialization.java	2015-04-21 18:52:30.317333809 -0700
@@ -34,6 +34,7 @@
  * @test
  * @bug 8016252
  * @summary Verify that a serialized HashSet may successfully be deserialized.
+ * @key randomness
  */
 public class Serialization {