4.17 update of org.eclipse.ui.editors

For https://git.eclipse.org/r/#/c/164285/

Change-Id: I62f19768783ada8bfde92fceabf4e64a58b83508