oneNodeList.length() - 1), "|");
while (docToken.hasMoreTokens()) {
String oneDoc = docToken.nextToken();
oneDoc = oneDoc.trim();
StringTokenizer id_token = new StringTokenizer(oneDoc, "*");
Doc doc = new Doc(Integer.parseInt(id_token.nextToken()), Float
.parseFloat(id_token.nextToken()));
nodeList.add(doc);
}
docList.add(nodeList);
}