code: public final void setToSize(int size) {
      
      int newMap[] = new int[size];
  
      System.arraycopy(m_map, 0, newMap, 0, m_map[m_lengthPos]);
  
      m_mapSize = size;
      m_map = newMap;
      
    }
docs: /*
  Reset the array to the supplied size.  No checking is done.
  
  @param size The size to trim to.