4.0.0 org.eclipse.ui editors 3.5.0.v20090527-2000-studio