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