GP-5381: Fixed a bug that prevented Ghidra from remembering the

last-used JDK when the JAVA_HOME environment variable was set
(Closes #7503)

GhidraBuild/LaunchSupport/src/main/java/LaunchSupport.java

@@ -202,6 +202,9 @@ public class LaunchSupport {
 		if (javaHome != null) {
 			javaHomeDir = new File(javaHome);
 			if (appConfig.isSupportedJavaHomeDir(javaHomeDir, javaFilter)) {
+				if (save) {
+					appConfig.saveJavaHome(javaHomeDir);
+				}
 				System.out.println(javaHomeDir);
 				return EXIT_SUCCESS;
 			}