Make Koral Java 17 dependent

Change-Id: I22d80e752526409fea50cb09487e34f7145d19b7
diff --git a/bin/git_gerrit_pull b/bin/git_gerrit_pull
index 2072e39..3c73122 100755
--- a/bin/git_gerrit_pull
+++ b/bin/git_gerrit_pull
@@ -69,7 +69,7 @@
 
 # Koral
 elsif ($project =~ m!^Koral$!i) {
-  _check('JAVA_HOME="'.$JAVA11_HOME.'" mvn clean test');
+  _check('JAVA_HOME="'.$JAVA17_HOME.'" mvn clean test');
 }
 
 # Kalamar-Plugin-ExternalResources