From ec7136f9130b0eed26e7c626a3ddf469d17cfe44 Mon Sep 17 00:00:00 2001
From: Ryan Kurtz <ryanmkurtz@users.noreply.github.com>
Date: Fri, 12 Jun 2026 13:07:26 -0400
Subject: [PATCH] GP-0: JAVA_HOME_OVERRIDE now works if it's surrounded by
 double quotes

---
 .../src/main/java/ghidra/launch/LaunchProperties.java       | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/GhidraBuild/LaunchSupport/src/main/java/ghidra/launch/LaunchProperties.java b/GhidraBuild/LaunchSupport/src/main/java/ghidra/launch/LaunchProperties.java
index a1462a92a1..02b29e72c1 100644
--- a/GhidraBuild/LaunchSupport/src/main/java/ghidra/launch/LaunchProperties.java
+++ b/GhidraBuild/LaunchSupport/src/main/java/ghidra/launch/LaunchProperties.java
@@ -91,7 +91,11 @@ public class LaunchProperties {
 	public File getJavaHomeOverride() {
 		List<String> javaHome = propertyMap.get(JAVA_HOME_OVERRIDE);
 		if (javaHome != null && !javaHome.isEmpty()) {
-			return new File(javaHome.get(0));
+			String path = javaHome.get(0).trim();
+			if (path.length() > 2 && path.startsWith("\"") && path.endsWith("\"")) {
+				path = path.substring(1, path.length() - 1);
+			}
+			return new File(path);
 		}
 		return null;
 	}