public File getJavaHomeOverride() {
		List<String> javaHome = propertyMap.get(JAVA_HOME_OVERRIDE);
		if (javaHome != null && !javaHome.isEmpty()) {
			return new File(javaHome.get(0));
		}
		return null;
	}
Gets the Java home override directory to use for the launch.

@return The Java home override directory to use for the launch.  Could be null if the 
  property was not defined.  The caller should ensure that the directory exists.
GhidraBuild/LaunchSupport/src/main/java/ghidra/launch/LaunchProperties.java