case.study.pledge.run org.eclipse.ocl.pivot.ui.oclbuilder disabledExtensions *,essentialocl disabledPaths bin/**,target/** enabledExtensions ecore,ocl,oclinecore,oclstdlib,uml enabledPaths ** org.eclipse.xtext.ui.shared.xtextBuilder org.eclipse.viatra.query.tooling.ui.projectbuilder org.eclipse.jdt.core.javabuilder org.eclipse.pde.ManifestBuilder org.eclipse.pde.SchemaBuilder org.eclipse.pde.PluginNature org.eclipse.jdt.core.javanature org.eclipse.xtext.ui.shared.xtextNature org.eclipse.viatra.query.projectnature org.eclipse.ocl.pivot.ui.oclnature