4.0.0 eclipse.platform.debug eclipse.platform.debug 4.10.0-SNAPSHOT org.eclipse.debug org.eclipse.debug.examples.mixedmode 1.2.0-SNAPSHOT eclipse-plugin