RFR: 8290313: Produce warning when user specified java.io.tmpdir directory doesn't exist [v4]

[Naoto Sato]

On Fri, 14 Oct 2022 19:25:54 GMT, Weibing Xiao <duke at openjdk.org> wrote:

>> 8290313: Produce warning when user specified java.io.tmpdir directory doesn't exist
>
> Weibing Xiao has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains 11 commits:
> 
>  - Merge branch 'master' into improve-directory-not-existing-error-message
>  - new approach: print warning in StaticProperty.java
>  - Merge branch 'master' into improve-directory-not-existing-error-message
>  - add the change for nio and update the code according to the comments
>  - new approach
>  - change based on the review
>  - updating according to the comments
>  - Merge branch 'master' of https://github.com/openjdk/jdk into improve-directory-not-existing-error-message
>  - update error message
>  - error message for non-existing directory
>  - ... and 1 more: https://git.openjdk.org/jdk/compare/8487c56f...2da71bdc

src/java.base/share/classes/jdk/internal/util/StaticProperty.java line 76:

> 74:             System.err.println("WARNING: java.io.tmpdir location does not exist");
> 75:         }
> 76: 

System.out/err relies on encoding properties are initialized, so I don't think this would work.

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

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