code: public String toStringWithQuote() {
          StringBuilder buf = new StringBuilder();
          for (String arg : args) {
              if(buf.length()>0)  buf.append(' ');
  
              if(arg.indexOf(' ')>=0 || arg.length()==0)
                  buf.append('"').append(arg).append('"');
              else
                  buf.append(arg);
          }
          return buf.toString();
      }
docs: Just adds quotes around args containing spaces, but no other special characters,
  so this method should generally be used only for informational/logging purposes.