revert accidental removal of db.properties