chore(Java): bump conversion library

texastony · texastony · commit a2e009e13ae0 · 2024-10-08T14:57:20.000-07:00
diff --git a/project.properties b/project.properties
@@ -3,4 +3,4 @@ mplDependencyJavaVersion=1.6.0
 dafnyVersion=4.8.0
 dafnyVerifyVersion=4.8.0
 dafnyRuntimeJavaVersion=4.8.0
-smithyDafnyJavaConversionVersion=0.1
+smithyDafnyJavaConversionVersion=0.1.1
