plugin.xml « org.eclipse.ui.ide « bundles - eclipse.platform.ui.git - Platform UI Git repository