Build input for build I20180731-2000
diff --git a/eclipse.platform.ui.tools b/eclipse.platform.ui.tools
index 85611b0..cc7b954 160000
--- a/eclipse.platform.ui.tools
+++ b/eclipse.platform.ui.tools
@@ -1 +1 @@
-Subproject commit 85611b010ded9f211293a5f57b9e65e677c0282d
+Subproject commit cc7b954a2efe425fcdc79c7ff837149a5b04d16c