From cece343cf7f9c991d600ef6aada0f70fc9d6773c Mon Sep 17 00:00:00 2001
From: Julian Oes <julian@oes.ch>
Date: Wed, 15 Jul 2020 10:58:31 +0200
Subject: [PATCH] setup: Java 14 is fine now

---
 Tools/setup/arch.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tools/setup/arch.sh b/Tools/setup/arch.sh
index 9ed9a6b293..d92c980fd0 100644
--- a/Tools/setup/arch.sh
+++ b/Tools/setup/arch.sh
@@ -121,7 +121,7 @@ if [[ $INSTALL_SIM == "true" ]]; then
 	# java (jmavsim or fastrtps)
 	sudo pacman -S --noconfirm --needed \
 		ant \
-		jdk8-openjdk \
+		jdk-openjdk \
 		;
 
 	# Gazebo setup