original.PLEDGE.case.studies org.eclipse.ocl.pivot.ui.oclbuilder disabledExtensions *,essentialocl disabledPaths bin/**,target/** enabledExtensions ecore,ocl,oclinecore,oclstdlib,uml enabledPaths ** org.eclipse.ocl.pivot.ui.oclnature