4.0.0 eclipse.platform.ui eclipse.platform.ui 3.8.0-SNAPSHOT ../../ eclipse.platform.ui org.eclipse.ui.navigator.resources 3.4.400-SNAPSHOT eclipse-plugin