Build input for build I20180801-0550
diff --git a/eclipse.jdt.ui b/eclipse.jdt.ui
index 27fd7b7..b88d714 160000
--- a/eclipse.jdt.ui
+++ b/eclipse.jdt.ui
@@ -1 +1 @@
-Subproject commit 27fd7b7ed313e127b7fa7f34ee7970b024cc60e1
+Subproject commit b88d71492764468f426471ec4ece7214ffbfe419
diff --git a/eclipse.platform.common b/eclipse.platform.common
index 478e835..cf9e2dd 160000
--- a/eclipse.platform.common
+++ b/eclipse.platform.common
@@ -1 +1 @@
-Subproject commit 478e83566264d10f3f5b928d3773dbb0d1bdf2b0
+Subproject commit cf9e2dde8936c254c755d7aa933588978c90f0d9