--- old/test/java/lang/Runtime/exec/WinCommand.java	2015-04-21 18:51:44.346358745 -0700
+++ new/test/java/lang/Runtime/exec/WinCommand.java	2015-04-21 18:51:44.166268741 -0700
@@ -25,6 +25,7 @@
  * @bug 5006520
  * @summary Check many different ways to run Windows programs
  * @author Martin Buchholz
+ * @key randomness
  */
 
 import java.io.*;