int tStart = doc.getLocation(asText);
String data = doc.getData(asText);
int start = Math.max(0, inclusion.getStart() - tStart);
int end = Math.min(data.length(), inclusion.getEnd() - tStart);
builder.appendText(data.substring(start, end));
}
return builder;
}