x1 = pageSize.getCropBoxX(page);
x2 = pageSize.getCropBoxWidth(page);
y1 = pageSize.getCropBoxY(page);
y2 = pageSize.getCropBoxHeight(page);
final SearchListener listener = new DefaultSearchListener();
SortedMap highlightsWithTeasers = currentGrouping.findMultipleTermsInRectangleWithMatchingTeasers(x1, y1, x2, y2, pageSize.getRotation(page), page, searchTerms, searchTypeParameters, listener);
//changed by MArk
if (Thread.interrupted()) {