On Wed, 7 Dec 2022 17:01:59 GMT, Brian Burkhalter <bpb at openjdk.org> wrote: > Remove `java.nio.file.Path::getExtension` from the JDK 20 mainline to allow its definition time to settle. Marked as reviewed by alanb (Reviewer). ------------- PR: https://git.openjdk.org/jdk/pull/11566