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

import edu.neu.ccs.demeter.*;

class AutomatonName {
  Ident ident;
  AutomatonName() { }
  AutomatonName(Ident ident) {
    this.ident = ident;
  }
}