@@ -23,10 +23,11 @@ /* * @test * @bug 5014447 * @summary Test deserialization of UUID + * @key randomness */ import java.io.*; import java.util.*;