Integrated: 8144891: ToolBox should use java.nio.file.Path internally, instead of java.io.File

[Christian Stein]

On Tue, 16 May 2023 14:25:58 GMT, Christian Stein <cstein at openjdk.org> wrote:

> Please review this change set that gets rid of all direct `java.io.File` usages by introducing new constants in `ToolBox`, based on system property values.

test/langtools/tools/lib/toolbox/ToolBox.java line 95:

> 93:     public static final String pathSeparator = System.getProperty("path.separator");
> 94:     /** The platform file separator character. */
> 95:     public static char fileSeparatorChar = System.getProperty("file.separator").toCharArray()[0];

Suggestion:

    public static char fileSeparatorChar = System.getProperty("file.separator").charAt(0);

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

PR Review Comment: https://git.openjdk.org/jdk/pull/14015#discussion_r1195410125