docs: private void checkForOverride(Properties properties, String name, String attr, String value) {
  		String propertyValue = properties.getProperty(attr);
  		if (propertyValue != null && !propertyValue.equals(value)) {
  			LOG.warn(name + ":an attempt to override final parameter: " + attr
  					+ ";  Ignoring.");
  		}
  	}