4.0.0 org.eclipse.ui editors 3.7.0.v20110517-0800-studio