4.0.0 eclipse.platform.ui eclipse.platform.ui 4.3.0-SNAPSHOT ../../ org.eclipse.ui org.eclipse.ui.navigator 3.5.300-SNAPSHOT eclipse-plugin