private void addNodeToARG(Node child, List<ARGNode> argNodes) {
		if (child.getNodeName().equalsIgnoreCase(XML_NODE)) {
			String id = getAttributeForNode(child, XML_ID);
			String heightStr = getAttributeForNode(child, XML_HEIGHT);
			double height = Double.parseDouble(heightStr);
			String annotation = getAttributeForNode(child, XML_NODEANNOTATION);

			ARGNode argNode = new ARGNode(id, height);
			if (annotation != null)
				argNode.addAnnotation("annot.", annotation);
			
			//Scan for annotations
			Node aChild = child.getFirstChild();
			while(aChild != null) {
				if (aChild.getNodeType() == Node.ELEMENT_NODE && aChild.getNodeName().equalsIgnoreCase(XML_NODEANNOTATION)) {
					
					String key = getAttributeForNode(aChild, XML_ANNOTATION_KEY);
					String val = ((Element)aChild).getTextContent();
					if (key!=null && val != null) {
						argNode.addAnnotation(key, val);
					}
					System.out.println("Found annotation key=" + key + "   value=" + val);
					
				}
					
				aChild = aChild.getNextSibling();
			}
			
			//System.out.println("Adding node with id: " + id + " and height: " + height);
			argNodes.add(argNode);
		}
	}