4.0.0 org.eclipse.ui navigator 3.5.200.v20120523-1956