@@ -22,10 +22,11 @@ */ /* @test * @summary Basic sanity check to test if default (de)serialization is * transmitting values properly. + * @key randomness */ import java.io.*; import java.util.*;