Submodule link to 5145aef12bdee95f6602d96475ce632c18c2ed98 of https://git.eclipse.org/r/platform/eclipse.platform.ui