Currently the search is performed over the whole project (what might
take long depending on project size), but actually we are only
interested in any match.

THis now uses a ProgressMonitorWrapper that reports cancellation to the
search once we found a first positive hit.