4.0.0 org.eclipse.ui.workbench texteditor 3.8.0.v20120523-1310