4.17 update of org.eclipse.ui.externaltools

For https://git.eclipse.org/r/#/c/164735/

Change-Id: Ia89434885099bc117134eb30d86fe20270e3ded6
2 files changed