docs: public static void substituteDeprecatedConfigPrefix(
  			Configuration config,
  			String deprecatedPrefix,
  			String designatedPrefix) {
  
  		// set the designated key only if it is not set already
  		final int prefixLen = deprecatedPrefix.length();
  
  		Configuration replacement = new Configuration();
  
  		for (String key : config.keySet()) {
  			if (key.startsWith(deprecatedPrefix)) {
  				String newKey = designatedPrefix + key.substring(prefixLen);
  				if (!config.containsKey(newKey)) {
  					replacement.setString(newKey, config.getString(key, null));
  				}
  			}
  		}
  
  		config.addAll(replacement);
  	}