4.0.0 eclipse.platform.debug eclipse.platform.debug 3.8.0-SNAPSHOT eclipse.platform.debug org.eclipse.core.externaltools 1.0.100-SNAPSHOT eclipse-plugin