Changes made to bug 558411

Who	When	What	Added
Lars.Vogel	2019-12-17 17:41:20 EST	CC	jens, Lars.Vogel
genie	2019-12-25 11:03:35 EST	See Also	https://git.eclipse.org/r/155028
genie	2019-12-25 11:03:39 EST	See Also	https://git.eclipse.org/r/155027
genie	2020-01-15 04:43:03 EST	See Also	https://git.eclipse.org/c/platform/eclipse.platform.ui.tools.git/commit/?id=224408bdaab7da6706c939a6042fea484390f36c