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

import edu.neu.ccs.demeter.*;

class A5 {
  A6 a6;
  A5() { }
  A5(A6 a6) {
    this.a6 = a6;
  }
}