Reverted some changes in project.properties to make it the same as in
the original repository (I messed something up with the folders when
importing it to Eclipse so that the libraries were located somewhere
else).