@@ -22,10 +22,11 @@ */ /* @test * @bug 4806007 * @summary Checks for vague exceptions from writeUTF/readUTF + * @key randomness */ import java.io.*; import java.util.*;