*** 23,32 **** --- 23,33 ---- /* @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.*;