private List<String> getValues(String s) {
		if (s.charAt(0) == '\"' && s.charAt(s.length() - 1) == '\"') {
			String unquoted = s.substring(1, s.length() - 1);
			return Arrays.asList(unquoted.split(";"));
		}
		return Arrays.asList(s);
	}
Helper code for the askXxx() methods. Takes a string and attempts to separate it into multiple
strings (only if the string is surrounded by double quotes with values separated by ';').

@param s  input string
@return  array of output strings
Ghidra/Features/Base/src/main/java/ghidra/app/script/GhidraScript.java