fix mpl java version

imabhichow · imabhichow · commit 5bb44b903a2c · 2025-10-13T13:27:11.000-07:00
diff --git a/mpl b/mpl
@@ -1 +1 @@
-Subproject commit df37a708cae023ae88a7d0dd0f3ecb59753be5f5
+Subproject commit fca4625cbad4d624d7398462c9ce1d88c2c44b66
diff --git a/project.properties b/project.properties
@@ -4,6 +4,6 @@ dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.0
 dafnyFormatVersion=4.9.0
 projectJavaVersion=4.1.0
-mplDependencyJavaVersion=1.9.0-SNAPSHOT
+mplDependencyJavaVersion=1.7.5-SNAPSHOT
 dafnyRuntimeJavaVersion=4.9.0
 smithyDafnyJavaConversionVersion=0.1.1
