changes to build script to increase java heap memory
[IRC.git] / Robust / src / RepairTest / specs / Example2 / Example2.constraints
2006-09-13 bdemskychecking in example