cd csp
java demeterf cspDomain.cd cspDomain.beh --mutable --dgp:Print --pcdgp:Getters:Setters ../../gen/
cd ../protocol
java demeterf standardProtocols.cd standardProtocols.beh --mutable --dgp:Print --pcdgp:Getters:Setters  ../../gen/
cd ../scg
java demeterf scg.cd scg.beh --mutable --dgp:Print --pcdgp:Getters:Setters  ../../gen/