Revert "Remove project.properties"

This reverts commit 8cd2d1a4393535de469067251151034d079d5c77.