4.17 update of org.eclipse.ui.workbench.texteditor

Required for https://git.eclipse.org/r/#/c/163832/

Change-Id: Idada6455f1acfc67ae6da235299d2cca9f0db9ab
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
1 file changed