4.0.0 eclipse.platform.debug eclipse.platform.debug 4.7.2-SNAPSHOT org.eclipse.core org.eclipse.core.externaltools 1.1.0-SNAPSHOT eclipse-plugin