| changeset 79013 | 4fb5e6499da9 |
| parent 78300 | ab95c9f2d55c |
| child 79528 | 667cb8b79909 |
--- a/src/Pure/Admin/component_jdk.scala Mon Nov 20 15:55:10 2023 +0100 +++ b/src/Pure/Admin/component_jdk.scala Mon Nov 20 19:52:46 2023 +0100 @@ -33,8 +33,8 @@ /* build jdk */ val default_base_url = "https://cdn.azul.com/zulu/bin" - val default_jdk_version = "17.0.7" - val default_zulu_version = "17.42.19-ca" + val default_jdk_version = "21.0.1" + val default_zulu_version = "21.30.15-ca" def build_jdk( target_dir: Path = Path.current,