4.0.0 eclipse.platform.debug eclipse.platform.debug 4.5.0-SNAPSHOT org.eclipse.ui org.eclipse.ui.externaltools 3.3.0-SNAPSHOT eclipse-plugin