From cd8b41b5ef1e775add4c9c5c576747dee0e7e4fe Mon Sep 17 00:00:00 2001 From: Fabio Niephaus Date: Fri, 21 Aug 2020 15:49:48 +0200 Subject: [PATCH] Do not set `JAVA_TOOL_OPTIONS` on Linux (#1467) This ensures that a) the `JAVA_TOOL_OPTIONS` environment variable is not set, which avoids additional output from some Java tools, and that b) the default Java file encoding is not changed. For more details, see #1437. --- images/linux/scripts/installers/java-tools.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/images/linux/scripts/installers/java-tools.sh b/images/linux/scripts/installers/java-tools.sh index aafed29f5..b64c576c9 100644 --- a/images/linux/scripts/installers/java-tools.sh +++ b/images/linux/scripts/installers/java-tools.sh @@ -46,7 +46,6 @@ if isUbuntu16 || isUbuntu18 ; then echo "JAVA_HOME_12_X64=/usr/lib/jvm/adoptopenjdk-12-hotspot-amd64" | tee -a /etc/environment fi echo "JAVA_HOME=/usr/lib/jvm/adoptopenjdk-${DEFAULT_JDK_VERSION}-hotspot-amd64" | tee -a /etc/environment -echo "JAVA_TOOL_OPTIONS=-Dfile.encoding=UTF8" | tee -a /etc/environment # Install Ant apt-fast install -y --no-install-recommends ant ant-optional