/**
   * This is called for String configuration items.
   *
   * @param config The configuration where to write to.
   * @param key The configuration parameter name with it's default values etc.
   * @param value The reals value, base on the Plugin configuration.
   */
  private void addConfiguration(PrintWriter config, DoxygenParameters key, String value) {
    if (value == null) {
      value = key.getDefaultValue();
    } else if ((value.length() == 0) || (value.trim().length() == 0)) {
      value = key.getDefaultValue();
    }

    // If we have quoted parameters.
    if (key.getType().equals(DoxygenParameterType.STRING_QUOTED)) {
      value = '"' + value + '"';
    }

    addConfiguration(config, key.getDescription(), key.name(), value);
  }
 /**
  * This is called for integer configuration items.
  *
  * @param config The configuration where to write to.
  * @param key The configuration parameter name with it's default values etc.
  * @param value The reals value, base on the Plugin configuration.
  */
 private void addConfiguration(PrintWriter config, DoxygenParameters key, Integer value) {
   if (value == null) {
     value = Integer.parseInt(key.getDefaultValue());
   }
   addConfiguration(config, key, value.toString());
 }