4.0.0 org.eclipse.ui navigator 3.3.100.I20080606-1300