[#3678] Add some JavaBeans-style setters to the DefaultConfiguration to
simplify configuration via Spring