Revert "Delete project.properties"

This reverts commit 986caa8525900f75aa3543bfaaec81ceafafd7f0.