4.0.0 org.eclipse.ui navigator 3.5.100.v20110809-2227