RFR: 8057113: (fs) Path should have a method to obtain the filename extension [v18]

Fri Oct 14 16:38:56 UTC 2022

On Mon, 1 Aug 2022 21:54:22 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

>> Resurrection of the proposal to add a method to obtain the filename extension originated in PR [2319](https://github.com/openjdk/jdk/pull/2319).
>
> Brian Burkhalter has updated the pull request incrementally with one additional commit since the last revision:
> 
>   8057113: Remove API note

The specification paragraph is rewritten in 104a7116288d80ea9cf384b078bbfbeb0f1eece7 but the `@implSpec` content is unchanged.

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

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