docs: private static String[] readArgsFile(String argsFile) throws IOException {
      final ArrayList<String> lines = new ArrayList<String>();
      final BufferedReader reader = new BufferedReader(
          new InputStreamReader(
              new FileInputStream(argsFile), "UTF-8"));
      try {
        String line;
        while ((line = reader.readLine()) != null) {
          line = line.trim();
          if (!line.isEmpty() && !line.startsWith("#")) {
            lines.add(line);
          }
        }
      } finally {
        reader.close();
      }
      return lines.toArray(new String [lines.size()]);
    }