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

import edu.neu.ccs.demeter.*;

class A6 {
  A7 a7;
  A6() { }
  A6(A7 a7) {
    this.a7 = a7;
  }
}