diff --git a/project.properties b/project.properties
index a20b1ec57..1a4050afc 100644
--- a/project.properties
+++ b/project.properties
@@ -1,4 +1,4 @@
-projectJavaVersion=3.6.2
+projectJavaVersion=3.6.2-SNAPSHOT
 mplDependencyJavaVersion=1.5.1
 dafnyVersion=4.2.0
 dafnyVerifyVersion=4.7.0