xref: /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.pde.ui/ui/org.eclipse.pde.ui/src/