source.dirs             = cfg, main, runnable
junit.dirs               = junit

project.name		= cnr-contract-verification
project.version		= 0.0.1
project.label		=