public static String extractFromDoubleQuotes(String str) {
		Matcher m = DOUBLE_QUOTED_STRING_PATTERN.matcher(str);
		if (m.matches()) {
			return m.group(1);
		}
		return str;
	}
If the given string is enclosed in double quotes, extract the inner text. Otherwise, return
the given string unmodified.

@param str String to match and extract from
@return The inner text of a doubly-quoted string, or the original string if not
        double-quoted.
Ghidra/Framework/Generic/src/main/java/ghidra/util/StringUtilities.java