RFR: 8297814: (fs) Re-visit Path.getExtension return value [v3]

Fri Jan 20 21:24:53 UTC 2023

> Revise `java.nio.file.Path::getExtension` never to return `null` and to simplify implementing other path manipulations such as removing and replacing the file name extension.

Brian Burkhalter has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains three commits:

 - Merge
 - 8297814: Address reviewer comments
 - 8297814: (fs) Re-visit Path.getExtension return value

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

Changes: https://git.openjdk.org/jdk/pull/11545/files
 Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=11545&range=02
  Stats: 149 lines in 2 files changed: 148 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/jdk/pull/11545.diff
  Fetch: git fetch https://git.openjdk.org/jdk pull/11545/head:pull/11545

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