This plugin has been promoted to org.eclipse.ocl.pivot / org.eclipse.ocl.pivot.internal.

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