xref: /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.junit4.runtime/src/org/eclipse/jdt/internal/junit4/