dev/java: use 17

ztlevi · Apr 10, 2024 · 1922334 · 1922334
1 parent 5649cc5
commit 1922334
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/dev/java/_init b/dev/java/_init
@@ -2,11 +2,11 @@
 source ${0:A:h}/../../deploy
 
 install() {
-  brew install gradle maven jenv openjdk@21
+  brew install gradle maven jenv openjdk@17
   # Note: JAVA_HOME is reset by jenv, use jenv to set global and local
   eval "$(jenv init -)"
-  jenv add $(brew --prefix openjdk@21)
-  jenv global 21
+  jenv add $(brew --prefix openjdk@17)
+  jenv global 17
 }
 
 # update() {}