Restore property files for dev, devmysql, and
devmysql-regeneratedatabase