private static void outputSetting(String setting){
  if (out != null && !writtenSettings.contains(setting)) {
    if (writtenSettings.size() == 0) {
      out.println("# Settings for run " + (runIndex + 1));
    }
    out.println(setting);
    writtenSettings.add(setting);
  }
}

private static void outputSetting ( String setting ) { if ( out != null && ! writtenSettings . contains ( setting ) ) { if ( writtenSettings . size ( ) == 0 ) { out . println ( "# Settings for run " + ( runIndex + 1 ) ) ; } out . println ( setting ) ; writtenSettings . add ( setting ) ; } }
writes the given setting string to the settings output ( if any )
