code: static String[] removeArgsNotAffectingState(String[] args) {
          String[] out = new String[args.length];
          int j = 0;
          for (int i = 0; i<args.length; ++i) {
              if (args[i].equals("-j")) {
                  // Just skip it and skip following value
                  i++;
              } else if (args[i].startsWith("--server:")) {
                  // Just skip it.
              } else if (args[i].startsWith("--log=")) {
                  // Just skip it.
              } else if (args[i].equals("--compare-found-sources")) {
                  // Just skip it and skip verify file name
                  i++;
              } else {
                  // Copy argument.
                  out[j] = args[i];
                  j++;
              }
          }
          String[] ret = new String[j];
          System.arraycopy(out, 0, ret, 0, j);
          return ret;
      }
docs: Remove args not affecting the state.