@@ -23,10 +23,11 @@ /* * @test * @bug 4031762 * @summary Test the primitive wrappers static toString() + * @key randomness */ import java.util.Random; public class ToString {