public File getSavedJavaHome() throws IOException {
		try (BufferedReader reader = new BufferedReader(new FileReader(javaHomeSaveFile))) {
			String line = reader.readLine().trim();
			if (line != null) {
				line = line.trim();
				if (!line.isEmpty()) {
					return new File(line);
				}
			}
		}
		catch (FileNotFoundException e) {
			// Fall through to return null
		}
		return null;
	}
Gets the Java home directory from the user's Java home save file.

@return The Java home directory from the user's Java home save file, or null if the file
  does not exist or is empty.
@throws IOException if there was a problem reading the Java home save file.
GhidraBuild/LaunchSupport/src/main/java/ghidra/launch/AppConfig.java