This plugin has been promoted to org.eclipse.ocl.xtext.base.ui.

Content here prevents the obsolete plugin being used and may provide a small amount of backward compatibility.