I think we should take this opportunity to do something about the duplication of the default values in both the properties file and these property-placeholder expressions. Otherwise, we are almost certainly setting ourselves up for a confusing divergence between those values at some point.