4.0.0 org.eclipse.ui editors 3.4.0.v20080603-2000-studio