On Wed, 3 Aug 2022 16:38:38 GMT, Brian Burkhalter <bpb at openjdk.org> wrote: > Do you intend "the path does not have a file name"? Yes, I think that would be better than "has zero elements". ------------- PR: https://git.openjdk.org/jdk/pull/8066