public List<String> getVmArgList() {
		List<String> ret = new ArrayList<>();
		List<String> vmargList = propertyMap.get(VMARGS);
		if (vmargList != null) {
			ret.addAll(vmargList);
		}
		List<String> vmargPlatformList = propertyMap.get(VMARGS_PLATFORM);
		if (vmargPlatformList != null) {
			ret.addAll(vmargPlatformList);
		}
		return ret;
	}
Gets a {@link List} of VM arguments to use for the launch for the current 
{@link Platform platform}.

@return A {@link List} of VM arguments to use for the launch for the current
  {@link Platform}
GhidraBuild/LaunchSupport/src/main/java/ghidra/launch/LaunchProperties.java