diff --git a/Tools/setup/ubuntu.sh b/Tools/setup/ubuntu.sh index 2183ab02d4..9761fcf40c 100755 --- a/Tools/setup/ubuntu.sh +++ b/Tools/setup/ubuntu.sh @@ -195,7 +195,7 @@ if [[ $INSTALL_SIM == "true" ]]; then java_version=11 gazebo_version=9 elif [[ "${UBUNTU_RELEASE}" == "20.04" ]]; then - java_version=14 + java_version=13 gazebo_version=11 else java_version=14