"should be a single double value");}
threshold = ((DoubleValue) thresOpt.convertTo(Type.DOUBLE)).getDouble();
}
final NodeSet hits[] = new NodeSet[terms.size()];
String term;
TermMatcher matcher;
for (int k = 0; k < terms.size(); k++) {
term = terms.get(k);
if(term.length() == 0)
{hits[k] = null;}
else {