buf = new StringBuffer("WScript.exe "); buf.append('"'); buf.append(file); buf.append('"'); buf.toString();