4.0.0 org.eclipse.ui editors 3.3.1.r331_v20070629-studio