source.. = src/
output.. = bin/
bin.includes = META-INF/,\
               .,\
               plugin.xml,\
               src/de/uni_freiburg/informatik/ultimate/plugins/spaceex/parser/sspaceex.xsd
