--- old/test/java/nio/file/Files/walkFileTree/TerminateWalk.java	2015-04-21 18:52:15.641999469 -0700
+++ new/test/java/nio/file/Files/walkFileTree/TerminateWalk.java	2015-04-21 18:52:15.461909465 -0700
@@ -27,6 +27,7 @@
  * @library ../..
  * @compile TerminateWalk.java CreateFileTree.java
  * @run main TerminateWalk
+ * @key randomness
  */
 
 import java.nio.file.*;