final SearchMatch match = new SearchMatch(je,
SearchMatch.A_ACCURATE, isr.getOffset(), isr
.getLength(), SearchEngine
.getDefaultSearchParticipant(), je
.getResource());
requestor.acceptSearchMatch(match);
}
} catch (final DefinitelyNotEnumerizableException E) {
this.defNotEnumConstants.addAll(this.wl
.getCurrentComputationTreeElements());
this.nonEnumerizableList.addAll(this.wl