code: public Record []
  getSectionArray(int section) {
  	if (sections[section] == null)
  		return emptyRecordArray;
  	List l = sections[section];
  	return (Record []) l.toArray(new Record[l.size()]);
  }
docs: Returns an array containing all records in the given section, or an
  empty array if the section is empty.
  @see Record
  @see Section