The above properties should all be final? And for all the replication configs?