Searching in plugins/org.eclipse.ocl.xtext.markup/model