4.17 update of org.eclipse.ui.console

For https://git.eclipse.org/r/164734

Change-Id: Ic0af7c457ebf3b9d90ca0decc07fcd8dd2d318e8
2 files changed