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

import edu.neu.ccs.demeter.*;

class A4 {
  A5 a5;
  A4() { }
  A4(A5 a5) {
    this.a5 = a5;
  }
}