784785786787788789790791792793794
int nStrings = tokenizer.countTokens(); StringVector strings = new StringVector(nStrings); for (int i = 0; i < nStrings; i++) { strings.addElement(tokenizer.nextToken()); } return strings; }
818819820821822823824825826827828
for (int i = 0; i < nStrings; i++) { String prefix = tokenizer.nextToken(); String url = handler.getNamespaceForPrefix(prefix); strings.addElement(url); } return strings; }
370371372373374375376377378379380
} if (null == node2Strings) node2Strings = new StringVector(); node2Strings.addElement(s2); } } else { int n = node2Strings.size();