private static String[] argsFromString(String s) {
    Vector<String> vec = new Vector<String>(100);
    try {
      ArgParser.stringToArgs(vec, s, /* allowQuotedStings= */false);
    } catch (StringScanException e) {
      e.printStackTrace();
      System.exit(1);
    }
    String[] result = new String[vec.size()];
    for (int i = 0; i < vec.size(); i++) {
      result[i] = (String) vec.get(i);
    }
    return result;
  }