diff --git a/project.properties b/project.properties
index 22a0b53cd..62662e92f 100644
--- a/project.properties
+++ b/project.properties
@@ -1,4 +1,4 @@
-projectJavaVersion=3.7.0
+projectJavaVersion=3.7.0-SNAPSHOT
 mplDependencyJavaVersion=1.6.0
 dafnyVersion=4.8.0
 dafnyVerifyVersion=4.8.0