4.0.0 org.eclipse.ui.workbench texteditor 3.4.0.v20080603-2000