4.0.0 org.eclipse eclipse-platform-parent 4.13.0-SNAPSHOT ../../eclipse-platform-parent eclipse.platform.releng eclipse.platform.releng.java13patch413 4.13.0-SNAPSHOT pom scm:git:git://git.eclipse.org/gitroot/platform/eclipse.platform.releng.aggregator ../../eclipse-platform-parent ../../eclipse.platform.releng.prereqs.sdk org.eclipse.jdt.dummy org.eclipse.jdt-feature-dummy org.eclipse.pde.dummy org.eclipse.pde-feature-dummy ../../eclipse.jdt.core/org.eclipse.jdt.compiler.tool ../../eclipse.jdt.core/org.eclipse.jdt.core ../../eclipse.jdt.debug/org.eclipse.jdt.launching ../../eclipse.jdt.ui/org.eclipse.jdt.core.manipulation ../../eclipse.jdt.ui/org.eclipse.jdt.junit.core ../../eclipse.jdt.ui/org.eclipse.jdt.ui ../../eclipse.pde.ui/apitools/org.eclipse.pde.api.tools ../../eclipse.pde.build/org.eclipse.pde.build org.eclipse.jdt.java13patch org.eclipse.pde.java13patch eclipse.releng.repository.java13patch