--- old/src/java.base/share/classes/java/nio/file/FileSystems.java 2015-04-22 17:43:58.579422911 -0700 +++ new/src/java.base/share/classes/java/nio/file/FileSystems.java 2015-04-22 17:43:58.407422907 -0700 @@ -93,7 +93,7 @@ private static FileSystem defaultFileSystem() { // load default provider FileSystemProvider provider = AccessController - .doPrivileged(new PrivilegedAction() { + .doPrivileged(new PrivilegedAction<>() { public FileSystemProvider run() { return getDefaultProvider(); }