Withdrawn: 8298318: (fs) APIs for handling filename extensions

[duke]

On Tue, 17 Oct 2023 19:52:14 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

> Add to `java.nio.file.Path` a method `getExtension` to retrieve the `Path`'s extension, and companion methods `removeExtension` and `addExtension`.

This pull request has been closed without being integrated.

-------------

PR: https://git.openjdk.org/jdk/pull/16226