diff --git a/project.properties b/project.properties
index 84418bd77b..d0eda36016 100644
--- a/project.properties
+++ b/project.properties
@@ -1,4 +1,4 @@
-projectJavaVersion=3.9.1
+projectJavaVersion=3.9.1-SNAPSHOT
 mplDependencyJavaVersion=1.11.2-SNAPSHOT
 mplDependencyNetVersion=1.11.2
 dafnyVersion=4.9.0