Build input for build P20200407-0550
diff --git a/eclipse.jdt.core b/eclipse.jdt.core
index 1d93e58..01c40e3 160000
--- a/eclipse.jdt.core
+++ b/eclipse.jdt.core
@@ -1 +1 @@
-Subproject commit 1d93e583fd67508f466d0e91149e0cd736c0f66f
+Subproject commit 01c40e3e786489a0ae3146d5dcd3ec72aa96efb5