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

import edu.neu.ccs.demeter.*;

class StringConstant extends Constant {
  String string;
  StringConstant() { }
  StringConstant(String string) {
    this.string = string;
  }
}