private void addOperatingSystemInfo(List<String> lines, String def) {
		lines.add("OS Name: " + System.getProperty("os.name", def));
		lines.add("OS Arch: " + System.getProperty("os.arch", def));
		lines.add("OS Version: " + System.getProperty("os.version", def));
		if (OperatingSystem.CURRENT_OPERATING_SYSTEM.equals(OperatingSystem.LINUX)) {
			String prettyName = def;
			File osReleaseFile = new File("/etc/os-release");
			if (!osReleaseFile.isFile()) {
				osReleaseFile = new File("/usr/lib/os-release");
			}
			try (BufferedReader reader = new BufferedReader(new FileReader(osReleaseFile))) {
				Properties props = new Properties();
				props.load(reader);
				prettyName = props.getProperty("PRETTY_NAME", def);
				if (prettyName.startsWith("\"") && prettyName.endsWith("\"")) {
					prettyName = prettyName.substring(1, prettyName.length() - 1);
				}
			}
			catch (IOException e) {
				// That's ok, pretty name is optional
			}
			lines.add("OS Pretty Name: " + prettyName);
		}
	}
Adds operating system information to the version information

@param lines A {@link List} of lines to add to
@param def A default value to use if a piece of information cannot be found
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/runtimeinfo/VersionInfoPanel.java