Set the Maven version for use in Codespaces

veithen · veithen · commit ec7a72e18a6d · 2023-10-28T15:45:16.000Z
It looks like recent Maven versions have a bug that is triggered by the
Axis2 build.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -4,7 +4,8 @@
 		"ghcr.io/devcontainers/features/java:1": {
 			"version": "11",
 			"jdkDistro": "zulu",
-			"installMaven": "true"
+			"installMaven": "true",
+			"mavenVersion": "3.9.1"
 		},
 		"ghcr.io/devcontainers-contrib/features/mvnd-sdkman:2": {
 			"jdkVersion": "none"
