diff --git a/project.properties b/project.properties
index 99cdd29ef..28a3b90f1 100644
--- a/project.properties
+++ b/project.properties
@@ -1,5 +1,5 @@
-projectJavaVersion=3.8.0
-mplDependencyJavaVersion=1.9.0
+projectJavaVersion=3.8.0-SNAPSHOT
+mplDependencyJavaVersion=1.9.0-SNAPSHOT
 dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.0
 dafnyRuntimeJavaVersion=4.9.0
diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders
index 51ccca1c0..70e580991 160000
--- a/submodules/MaterialProviders
+++ b/submodules/MaterialProviders
@@ -1 +1 @@
-Subproject commit 51ccca1c05088a984d201ac2e2d27dd9229d7b2c
+Subproject commit 70e580991678387ce897a286c4f7f449aa616785