4.13 version of org.eclipse.ui.editors

Change-Id: I3b9598f99481b1972792e66759720443b5113594
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
2 files changed