normalized = normalized.toLowerCase(); k.setNormalizedText(normalized); k.setNormalizedText(normalized);
keep.setEnclosedAnnot(a); keep.setNormalizedText(a.getCoveredText()); keep.addToIndexes();
normalized = normalized.toLowerCase(); k.setNormalizedText(normalized); k.setNormalizedText(normalized);
keep.setEnclosedAnnot(a); keep.setNormalizedText(a.getCoveredText()); keep.addToIndexes();