code: public void setConfigParameter(final ConfigurationKeys key, Object value)
  	{
  		// before setting parameter, check if paths have trailing File.separator
  		if (key == ConfigurationKeys.LOGGING_PATH_DEBUG
  				|| key == ConfigurationKeys.LOGGING_PATH_DIFFTOOL
  				|| key == ConfigurationKeys.PATH_OUTPUT_SQL_FILES) {
  
  			String v = (String) value;
  			// if we do not have a trailing file separator and the current
  			// path is compatible to the system that is running the config tool,
  			// then add a trailing separator
  			if (!v.endsWith(File.separator) && v.contains(File.separator)) {
  				value = v + File.separator;
  			}
  		}
  
  		this.parameterMap.put(key, value);
  	}
docs: Assigns the given value to the the given key.
  
  @param key
  configuration key
  @param value
  value