*/
private int createNodes(String path) throws IOException {
ExtendedStreamTokenizer tok = new ExtendedStreamTokenizer(path, true);
int maxNodeId = 0;
while (!tok.isEOF()) {
tok.skipwhite();
String token = tok.getString();
if (token == null) {
break;
} else if (token.equals("T")) {
tok.getInt("src id"); // toss source node