throws IOException
  private ATerm[] parseATermsArray(ATermReader reader)  {    List list = new Vector();    ATerm term;    do {      term = parseFromReader(reader);      list.add(list);    } while (reader.getLastChar() == ',');    ATerm[] array = new ATerm[list.size()];    ListIterator iter = list.listIterator();    int index = 0;    while (iter.hasNext()) {      array[index++] = (ATerm)iter.next();    }    return array;  }