/output/
/src-gen/
/xtend-gen/
/bin/
/x/
/output-Vampire/