From 002596a9bb830257250ea394a2637d57209edb3b Mon Sep 17 00:00:00 2001 From: Jaikiran Pai Date: Wed, 1 Dec 2021 09:01:28 +0530 Subject: [PATCH] set java.security.manager=allow in Ant launcher .bat file for Windows, for Java 18 --- src/script/ant.bat | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/script/ant.bat b/src/script/ant.bat index 553af258c..69041a59b 100755 --- a/src/script/ant.bat +++ b/src/script/ant.bat @@ -122,6 +122,13 @@ goto checkJikes :noJavaHome if "%_JAVACMD%" == "" set _JAVACMD=java.exe +:setSecurityManagerOpt +"%_JAVACMD%" -XshowSettings:properties 2>&1 | find "java.specification.version = 18" +if "%ErrorLevel%" == "0" ( + rem This is Java 18, so set -Djava.security.manager=allow + set ANT_OPTS="%ANT_OPTS% -Djava.security.manager=allow" +) + :checkJikes if not "%JIKESPATH%"=="" goto runAntWithJikes