code: public void appendNodes(NodeSet nodes)
    {
  
      int nNodes = nodes.size();
  
      if (null == m_map)
      {
        m_mapSize = nNodes + m_blocksize;
        m_map = new Node[m_mapSize];
      }
      else if ((m_firstFree + nNodes) >= m_mapSize)
      {
        m_mapSize += (nNodes + m_blocksize);
  
        Node newMap[] = new Node[m_mapSize];
  
        System.arraycopy(m_map, 0, newMap, 0, m_firstFree + nNodes);
  
        m_map = newMap;
      }
  
      System.arraycopy(nodes.m_map, 0, m_map, m_firstFree, nNodes);
  
      m_firstFree += nNodes;
    }
docs: Append the nodes to the list.
  
  @param nodes NodeVector to append to this list