docs: public void handleXArgs() throws IOException {
          if (getXargs()) {
              try (BufferedReader in = UTF8.bufferedReader(System.in)) {
                  while (true) {
                      String s = in.readLine();
                      if (s == null) {
                          break;
                      }
                      project.addFile(s);
                  }
              }
          }
      }