nodeIds.put(node.contents, new Integer(counter));
Integer _int = new Integer(counter);  nodeIds.put(node.contents, _int); idToNode.put(_int, node.contents);
    public void visitNode(FlatNode node) {	/*	System.out.print("NodeEnumerator: Visiting node name:" + 			 node.getName() + 			 " id:"+			 (counter)+			 "\n");	*/	nodeIds.put(node.contents, new Integer(counter));	counter++;	    }