docs: public String[] expandOptionFiles(String[] argv, boolean ignoreComments, boolean ignoreBlankLines) throws IOException,
      HelpRequestedException {
          // Add all expanded options at the end of the options list, before the
          // list of
          // jar/zip/class files and directories.
          // At the end of the options to preserve the order of the options (e.g.
          // -adjustPriority
          // must always come after -pluginList).
          int lastOptionIndex = parse(argv, true);
          ArrayList<String> resultList = new ArrayList<>();
          ArrayList<String> expandedOptionsList = getAnalysisOptionProperties(ignoreComments, ignoreBlankLines);
          for (int i = 0; i < lastOptionIndex; i++) {
              String arg = argv[i];
              if (!arg.startsWith("@")) {
                  resultList.add(arg);
                  continue;
              }
  
              try (FileInputStream stream = new FileInputStream(arg.substring(1));
                      BufferedReader reader = UTF8.bufferedReader(stream)) {
                  addCommandLineOptions(expandedOptionsList, reader, ignoreComments, ignoreBlankLines);
              }
          }
          resultList.addAll(expandedOptionsList);
          for (int i = lastOptionIndex; i < argv.length; i++) {
              resultList.add(argv[i]);
          }
  
          return resultList.toArray(new String[resultList.size()]);
      }