--- old/src/java.base/share/classes/java/nio/channels/FileChannel.java 2015-04-22 17:43:56.383422860 -0700 +++ new/src/java.base/share/classes/java/nio/channels/FileChannel.java 2015-04-22 17:43:56.219422856 -0700 @@ -330,7 +330,7 @@ public static FileChannel open(Path path, OpenOption... options) throws IOException { - Set set = new HashSet(options.length); + Set set = new HashSet<>(options.length); Collections.addAll(set, options); return open(path, set, NO_ATTRIBUTES); }