--- old/test/java/nio/channels/FileChannel/MapTest.java 2015-04-21 18:52:04.568465213 -0700 +++ new/test/java/nio/channels/FileChannel/MapTest.java 2015-04-21 18:52:04.376369208 -0700 @@ -25,6 +25,7 @@ * @bug 4429043 8002180 * @summary Test file mapping with FileChannel * @run main/othervm MapTest + * @key randomness */ import java.io.*;