4.0.0 org.eclipse.ui editors 3.8.0.v20120523-1540-studio