src/java.base/share/classes/jdk/internal/jrtfs/JrtFileSystemProvider.java
Print this page
*** 99,112 ****
}
@Override
public FileSystem newFileSystem(URI uri, Map<String, ?> env)
throws IOException {
checkPermission();
checkUri(uri);
!
! if (env != null && env.containsKey("java.home")) {
return newFileSystem((String)env.get("java.home"), uri, env);
} else {
return new JrtFileSystem(this, env);
}
}
--- 99,112 ----
}
@Override
public FileSystem newFileSystem(URI uri, Map<String, ?> env)
throws IOException {
+ Objects.requireNonNull(env);
checkPermission();
checkUri(uri);
! if (env.containsKey("java.home")) {
return newFileSystem((String)env.get("java.home"), uri, env);
} else {
return new JrtFileSystem(this, env);
}
}