4.19 version bump for org.eclipse.ui.workbench Required for change #173909 Change-Id: I0000000000000000000000000000000000000000 Signed-off-by: Karsten Thoms <karsten.thoms@karakun.com>