Build input for build P20180220-0940
diff --git a/eclipse.jdt.core b/eclipse.jdt.core
index 3da1488..4972ced 160000
--- a/eclipse.jdt.core
+++ b/eclipse.jdt.core
@@ -1 +1 @@
-Subproject commit 3da1488a93c52a36804acc84596f47a15dd2939d
+Subproject commit 4972ceda4bf841162712401d9d7a17bc60e10887