Searching in plugins/org.eclipse.ocl.control/model