protected void extendWithExtendedNode(ExtendedNode n){
  nodeList.add(n);
}

protected void extendWithExtendedNode ( ExtendedNode n ) { nodeList . add ( n ) ; }
extend the list of extended nodes with an extended node .
