int matchedStart;
if(!trackers.isEmpty()) {
RegionTracker tracker = (RegionTracker)trackers.pop();
matchedStart = tracker.start;
boolean doCollapse = settings.isDefaultCollapsed();
EnhancedPosition newPos = new EnhancedPosition(matchedStart, end-matchedStart, new JavaPositionMetadata(true, true, doCollapse, true, null));
super.addRegion(newPos);
}
}
}