@@ -23,10 +23,11 @@ /* @test * @bug 5006520 * @summary Check many different ways to run Windows programs * @author Martin Buchholz + * @key randomness */ import java.io.*; import java.util.*; import static java.lang.System.*;