private static void logJavaHomeError(File javaHomeDir, boolean isError, String source) {
		String level = isError ? "ERROR: " : "WARNING: ";
		if (!javaHomeDir.isDirectory()) {
			System.err
					.println(level + source + " specifies non-existing directory: " + javaHomeDir);
		}
		else {
			System.err.println(
				level + source + " specifies unsupported java version: " + javaHomeDir);
		}
	}
Handles figuring out a Java home directory to use for the launch.  If it is successfully 
determined, an exit code that indicates success is returned.

@param appConfig The appConfig configuration that defines what we support.
@param javaFinder The Java finder.
@param javaFilter A filter used to restrict what kind of Java installations we search for.
@param ask True to interact with the user to they can specify a Java home directory.
  False if the Java home directory should be searched for and output on STDOUT once
  discovered.
@param save True if the determined Java home directory should get saved to a file. 
@return A suggested exit code based on whether or not a Java home directory was 
  successfully determined.
@throws IOException if there was a disk-related problem.
GhidraBuild/LaunchSupport/src/main/java/LaunchSupport.java