public File saveJavaHome(File javaHomeDir) throws IOException {
		if (!javaHomeSaveFile.getParentFile().exists() &&
			!javaHomeSaveFile.getParentFile().mkdirs()) {
			throw new IOException(
				"Failed to create directory: " + javaHomeSaveFile.getParentFile());
		}

		try (PrintWriter writer = new PrintWriter(new FileWriter(javaHomeSaveFile))) {
			writer.println(javaHomeDir);
		}

		return javaHomeSaveFile;
	}
Saves the given Java home directory to the user's Java home save file.  If the save
file does not exist, it will be created.

@param javaHomeDir The Java home directory to save.
@return The user's Java home save file.
@throws IOException if there was a problem saving to the file.
GhidraBuild/LaunchSupport/src/main/java/ghidra/launch/AppConfig.java