RFR: 8024695: new File("").exists() returns false whereas it is the current working directory [v5]

[Brian Burkhalter]

> Update the specification of `java.io.File.exists()` to match its behavior, which seems correct in the context of how the empty abstract pathname is documented elsewhere in the class.

Brian Burkhalter has updated the pull request incrementally with one additional commit since the last revision:

  8024695: Fix merge error; improve get*Space tests

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/22821/files
  - new: https://git.openjdk.org/jdk/pull/22821/files/01fd1990..2cde95cb

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=22821&range=04
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=22821&range=03-04

  Stats: 21 lines in 2 files changed: 14 ins; 0 del; 7 mod
  Patch: https://git.openjdk.org/jdk/pull/22821.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/22821/head:pull/22821

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