// This file was generated by DAJ from program.cd.

import edu.neu.ccs.demeter.*;

class ChineseWallAutomaton_List extends java.util.ArrayList {
  ChineseWallAutomaton_List() { }
  private static ChineseWallAutomaton _repeatedPart;
  public Object set(int index, Object element) {
    _repeatedPart = (ChineseWallAutomaton) element;
    return super.set(index, element);
  }
  public void add(int index, Object element) {
    _repeatedPart = (ChineseWallAutomaton) element;
    super.add(index, element);
  }
}