@@ -25,10 +25,11 @@ * @test * @bug 4856966 * @summary * @author Andreas Sterbenz * @library .. + * @key randomness */ import java.util.*; import java.security.*;