res.setSimilarityScore(new Double(resource.getSimilarityScore()));
res.setTypes(resource.getTypes());
res.setSupport(new Integer(resource.getSupport()));
res.setURI(resource.getURI());
res.addToIndexes(aJCas);
}
documentOffset += request.length() + 1 ;
}