Method outputSetting

core/Settings.java:302–310

Writes the given setting string to the settings output (if any) @param setting The string to write

(String setting)

	 * @param setting The string to write
	 */
	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);
		}
	}
	
	/**
	 * Returns true if a setting with defined name (in the current namespace