# TODO: insert header
# make sure only relative paths are used.
# this makes sure that these properties can be used for URI based and file based resolution
GEN_FOLDER=./gen
GEN_ORIGINAL_FOLDER=${GEN_FOLDER}/original
GEN_PATCHED1_FOLDER=${GEN_FOLDER}/patched1
GEN_PATCHED2_FOLDER=${GEN_FOLDER}/patched2