4.0.0 org.eclipse.ui workbench 3.4.0.I20080606-1300