Work around the unavailability of JDK 21 from foojay/disco

cescoffier · cescoffier · commit 917688066804 · 2025-07-22T13:44:51.000+02:00
diff --git a/working-groups/main.java b/working-groups/main.java
@@ -1,5 +1,4 @@
 //usr/bin/env jbang "$0" "$@" ; exit $?
-//JAVA 21
 //JAVAC_OPTIONS -parameters
 //DEPS io.quarkus.platform:quarkus-bom:3.12.1@pom
 //DEPS io.quarkus:quarkus-picocli

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`//usr/bin/env jbang "$0" "$@" ; exit $?`
`2`		`-//JAVA 21`
`3`	`2`	`//JAVAC_OPTIONS -parameters`
`4`	`3`	`//DEPS io.quarkus.platform:quarkus-bom:3.12.1@pom`
`5`	`4`	`//DEPS io.quarkus:quarkus-picocli`