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

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