private void addApplicationInfo(List<String> lines, String def) {
		ApplicationProperties props = Application.getApplicationLayout().getApplicationProperties();
		lines.add("Ghidra Version: " + props.getApplicationVersion());
		lines.add("Ghidra Release: " + props.getApplicationReleaseName());
		lines.add("Ghidra Build Date: " + props.getApplicationBuildDate());
		lines.add("Ghidra Revision: " +
			props.getProperty(ApplicationProperties.REVISION_PROPERTY_PREFIX + "ghidra", def));
		lines.add("Ghidra Development Mode: " + SystemUtilities.isInDevelopmentMode());
	}
Adds Ghidra application 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