diff --git a/resources/ffdec.sh b/resources/ffdec.sh index 32a1e42a7e..041843c70f 100644 --- a/resources/ffdec.sh +++ b/resources/ffdec.sh @@ -105,7 +105,7 @@ fi # Check default java if [ -x "$(which java)" ]; then - JAVA_VERSION_OUTPUT=$(java -version 2>&1) + JAVA_VERSION_OUTPUT=$(java -version 2>&1 | grep -v "Picked up _JAVA_OPTIONS") JAVA_VERSION_OUTPUT=$(echo $JAVA_VERSION_OUTPUT | sed 's/openjdk version/java version/') check_java_version && exec java "${args[@]}" fi @@ -113,7 +113,7 @@ fi # Test other possible Java locations for JRE_PATH in $LOOKUP_JRE_DIRS; do if [ -x "$JRE_PATH/bin/java" ]; then - JAVA_VERSION_OUTPUT=$("$JRE_PATH/bin/java" -version 2>&1) + JAVA_VERSION_OUTPUT=$("$JRE_PATH/bin/java" -version 2>&1 | grep -v "Picked up _JAVA_OPTIONS") JAVA_VERSION_OUTPUT=`echo $JAVA_VERSION_OUTPUT | sed 's/openjdk version/java version/'` check_java_version && { export JRE_PATH