On Fri, 21 Feb 2025 07:42:32 GMT, Alan Bateman <al...@openjdk.org> wrote:
>> So changed in a3b7977. > > Thanks, that is better replace for this. In time it may be a good candidate > to be a stable value. It was a bad idea in the first place that I put that in `File` itself. I also thought of this being a stable value. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/22821#discussion_r1965889959
