Closed bioball closed 1 month ago
java.io.File is a legacy API; it's better to use java.nio.file.Path whenever possible.
java.io.File
java.nio.file.Path
This doesn't change JarFile because that one isn't used and perhaps should be removed (Path can represent files inside a jar).
JarFile
Path
This is built on top of https://github.com/apple/pkl-lsp/pull/5 and https://github.com/apple/pkl-lsp/pull/6. Only the last commit should be reviewed.
java.io.Fileis a legacy API; it's better to usejava.nio.file.Pathwhenever possible.This doesn't change
JarFilebecause that one isn't used and perhaps should be removed (Pathcan represent files inside a jar).This is built on top of https://github.com/apple/pkl-lsp/pull/5 and https://github.com/apple/pkl-lsp/pull/6. Only the last commit should be reviewed.