--- old/test/java/nio/channels/FileChannel/Size.java 2015-04-21 18:52:06.801581265 -0700 +++ new/test/java/nio/channels/FileChannel/Size.java 2015-04-21 18:52:06.609485260 -0700 @@ -25,6 +25,7 @@ * @bug 4563125 * @summary Test size method of FileChannel * @run main/othervm Size + * @key randomness */ import java.io.*;