void (List<? super String> cmdLine, String parameter) { if (SystemInfo.isWindows) { if (parameter.contains("\"")) { parameter = parameter.replace("\"", "\\\""); } else if (parameter.isEmpty()) { parameter = "\"\""; } } cmdLine.add(parameter); }