setup: Use available Java version for Ubuntu 20.04

14 was not available for me, 16 would have been.
3 years ago · c779946e05
1 changed files with 1 additions and 1 deletions
--- a/Tools/setup/ubuntu.sh
+++ b/Tools/setup/ubuntu.sh
@ -195,7 +195,7 @@ if [[ $INSTALL_SIM == "true" ]]; then
				@@ -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