private void allocate_sections(int p_section_count){
  section_list.ensureCapacity(p_section_count);
  while (section_list.size() < p_section_count) {
    section_list.add(new MazeSearchElement());
  }
}

private void allocate_sections ( int p_section_count ) { section_list . ensureCapacity ( p_section_count ) ; while ( section_list . size ( ) < p_section_count ) { section_list . add ( new MazeSearchElement ( ) ) ; } }
allocates and initializes p_section_count sections
