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