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

import edu.neu.ccs.demeter.*;

class Condition {
  TrueC trueC;
  Condition() { }
  Condition(TrueC trueC) {
    this.trueC = trueC;
  }
}