Changes made to bug 563708

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Who	When	What	Removed	Added
genie	2020-05-29 06:22:14 EDT	See Also		https://git.eclipse.org/r/163832
Lars.Vogel	2020-06-02 10:03:38 EDT	Target Milestone	---	4.17 M1
		Assignee	Platform-UI-Inbox	Lars.Vogel
		CC		Lars.Vogel
genie	2020-06-07 07:26:53 EDT	See Also		https://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=e6806155007d916f49c20e3f8efae4e5d03d1d10
Lars.Vogel	2020-06-07 07:27:51 EDT	Resolution	---	FIXED
		Status	NEW	RESOLVED
		Blocks		563542
genie	2020-06-08 03:56:46 EDT	See Also		https://git.eclipse.org/r/164410
genie	2020-06-08 04:10:39 EDT	See Also		https://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=a733041c6838095813815507cd6d19e7ec997e76