else if (arg[i] instanceof String) s = "\"" + s + "\"";
else if (arg[i] != null) s = arg[i].toString();
if (s != null) sb.append(" ").append(s);
else if (arg[i] instanceof String) s = "\"" + s + "\"";
else if (arg[i] != null) s = arg[i].toString();
if (s != null) sb.append(" ").append(s);