Integrated: 8290313: Produce warning when user specified java.io.tmpdir directory doesn't exist

[Weibing Xiao]

On Tue, 15 Nov 2022 19:02:30 GMT, Weibing Xiao <duke at openjdk.org> wrote:

> print warning message for java.io.tmpdir when it is set through the command line and the value is not good for creating file folder.

This pull request has now been integrated.

Changeset: 8df3bc4e
Author:    Weibing Xiao <weibing.xiao at oracle.com>
Committer: Sean Coffey <coffeys at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/8df3bc4ec57a15d5bca844e030c8cc3f8c077a49
Stats:     140 lines in 4 files changed: 136 ins; 0 del; 4 mod

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

Reviewed-by: rriggs, naoto, coffeys

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

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