4.0.0 org.eclipse.ui.workbench compatibility 3.2.100.I20100511-0800 zip