diff --git a/project.properties b/project.properties
index ec79219de..e4b51a967 100644
--- a/project.properties
+++ b/project.properties
@@ -1,5 +1,5 @@
-projectJavaVersion=3.8.1
-mplDependencyJavaVersion=1.10.1
+projectJavaVersion=3.8.1-SNAPSHOT
+mplDependencyJavaVersion=1.10.1-SNAPSHOT
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.0
 dafnyRuntimeJavaVersion=4.9.0
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
index 309fc32c3..ccd56cfae 160000
--- a/submodules/MaterialProviders
+++ b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 309fc32c32097f6f5a9461128bae246d764fa64d
+Subproject commit ccd56cfae7c784e3c852d1f4bcc0b7127525f7d8