# ---> Java *.class /HintCOEngine/output/ /HintCOEngine/results-gen/ /HintCOEngine/xtend-gen/ /be.uantwerpen.cosys.ContractLang/target /snapshot/