4.0.0 org.eclipse.ui navigator 3.4.2.M20100120-0800