Build input for build I20200531-0600
diff --git a/eclipse.platform.ui b/eclipse.platform.ui
index f610099..ee93e39 160000
--- a/eclipse.platform.ui
+++ b/eclipse.platform.ui
@@ -1 +1 @@
-Subproject commit f6100995a7e00ded45295596e5b7e09820d8c65d
+Subproject commit ee93e397b8ec43a7b6783ab89a00c7789ca2e1ee